论文部分内容阅读
随着Petri网的发展,其基础理论研究(如库所、变迁的不变量,状态树、状态图、活性分析等)已经相当成熟,其研究成果很多早已完美的展现于世人面前。目前,Petri网研究领域的研究重点则更多地侧重于实际应用。因此,近些年来提出了各种针对不同实际用途的扩展Petri网模型,也引发了为便于该应用问题进行建模与分析的Petri网仿真与分析软件开发需求。本文将面向对象Petri网与模糊理论相结合,提出了面向对象模糊Petri网(Object-Oriented Fuzzy Petri Net, OOFPN)的新概念。全文以OOFPN为中心,围绕OOFPN概念的引入,对OOFPN的建模方法及相关理论进行了较深入的研究,并采用计算机集群负载均衡系统作为OOFPN建模的实例研究对象,对其进行了较深入地分析与研究。最后编程实现了一个适用于OOFPN的仿真与动态性能分析系统。通过研究实例,使得面向对象模糊Petri网的相关理论得到了很好.的展现。综合起来,本文主要做了以下几点工作：1.讨论了包括时间Petri网、随机Petri网、面向对象Petri网以及模糊Petri网在内的几种扩展的Petri网模型,分析了它们各自的特点及其相互之间的联系,为引出面向对象模糊Petri网(OOFPN)做好了理论铺垫。2.深入探讨计算机集群及其负载均衡问题,基于Petri网的理论对目前已有的几种算法策略进行了建模分析。3.给出了超库所的概念与理论,提出了面向对象模糊Petri网的形式化定义(OOFPN),基于OOFPN的理论体系对采用动态策略的集群负载均衡系统进行了建模分析。4.实现了一个适用于OOFPN的仿真与性能分析平台。