Petri网进程的描述方法研究综述

综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.

关于有界Petri网的弱进程和弱出现网

有界Petri网Σ的满进程(N,φ)利用出现网N和网射φ将N的S切对应Σ的可达标识,从而提供研究有界Petri网的可达标识的有力工具。由于出现网中限制每一个库所的后集最多一个变迁,因此,当Σ的库所的后集有多个变迁时,网射就会出现多次重复的现象。从而使得计算过于烦杂。文中提出弱出现网并且利用弱出现网来构造有界Petri网的弱进程,文中对于弱进程证明了在满进程中起重要作用的结论,表明弱进程是满进程的有意义的推广。由于弱出现网取消库所的后集元素个数的限制,在弱进程中,消除了满进程由于上述原因而产生的重复现象,提高了计算的效率。给出的例子表明了弱出现网在计算中的简便性。

关于有界Petri网的全进程研究

由于Petri网的满进程只能刻画Petri网的一段运行,因此只能计算一部分可达标识,为了能够计算一个Petri网的全部可达标识,理论界提出进程表达式和进程网的方法.文中引入全进程Petri网的概念,目的是使Petri每一个标识都在全进程中得到计算,从而提供了一种计算标识的简便方法,避免利用进程表达式计算所有标识时需要的复杂计算,证明了一类可逆的有界Petri网(M0网)是全进程Petri网.