对离散事件系统建模可分为三个阶层:1.在逻辑上分析时间、状态之间的序列关系的方法有:时态逻辑、形式语言/有限自动机以及Petri网;2.极大极小代数和赋时Petri网在物理时间层上研究系统的变化过程和代数性质运用得最多的方法;3.而在统计性能方面主要通过广义Markov链、排队论以及随机Petri网来评定系统的平均性能。Petri网对于描述和分析离散事件系统的各方面功能特性都有其独到之处,也证明了Petri网是现如今对研究离散事件系统最有效的数据模型之一。[16]
二十世纪六十年代初,CarlAdamPetri博士在他的博士论文《自动机通信》中首次提出Petri网模型这一概念,之后学者们就开始了关于Petri网理论的研究。直到现在Petri网理论已经形成了一个新的独立的研究方向。现如今Petri网的研究技术有:代数分析、状态方程、图分析、归纳分析等等技术。其中用关联矩阵来分析描述Petri网是本文的一个重点。这一技术的优点明显展现在运用数学上线性相关的知识来简洁形象的表现Petri网结构性质。对可达性的刻画是其必要非充分条件。Petri网是一个能很好的表示元素之间的诸如并发和选择等特性的数学上的图形化工具,此工具不仅集成了系统建模和设计控制一体的功能,而且还能对分析和生产调度有积极的作用。
现如今,Petri网在离散事件系统中的研究主要集中在几个方面:
1.由于离散事件系统的参数非常多,而且运用其他的某些工具不能做到形象的描述其相关特性,这时Petri网的出现对于离散事件系统的建模通过描述Petri网中库所和变迁转化的情况使得表示离散事件系统的特性变得非常的简单,并且其网图形象的描述了系统的有关活动和各个元素之间的相互关系,这也大大的减少了程序员用于开发仿真性软件的时间。
2.分析Petri网模型上的相关信息,可以非常轻松的得到我想要的数据,例如怎么避免系统进入死锁状态,最大化提高系统效率的途径,以及某些机器的使用情况等等。这些数据将有助于我们在实际应用中做得更好关于对Petri网在DEDS中的研究国外的D.Kiritsis提出的广义PP-net运用到制造系统中,提高了系统中操作及操作相关的机器的利用率,降低了生产系统模型的花销进。而国内的研究成功蛀牙表现在着色Petri网上,这类Petri网能描述可用的资源不确定的系统。现在国内外研究的热点之一是可达图中出现太多的不确定点而造成Petri网规模膨胀得太快而无法对模型求解的问题。
Petri网的理论发展及研究现状:http://www.youerw.com/yanjiu/lunwen_205011.html