Petri网的活性与安全性的理论研究

Theoretical Research on Liveness and Safetyness of Petri Nets

针对Petri网的子类的活性和安全性,对AC网的子类,扩展的强化非对称选择网(ESAC)进行了再一次扩张,定义了新扩展的强化非对称选择网(NESAC)。通过对NESAC的活性与安全性的讨论,得到了非对称选择网(AC)的一个大类的某些性质判定;进而讨论了AC网的活性和安全性,得到了一个有效的算法。该课题研究了网的合成的一些基本性质,从理论上讨论了AC网的活性特征。

In this paper the authors study the liveness and safety of Petri nets from different point of view. First, ESAC is extended to NESAC, liveness and safety of NESAC are discussed. The combination of NESAC and ESAC is a bigger subclass, moreover, the liveness and safety of general AC are studied. As a result an effective algorithm is obained. At last some characters about synthesize of nets are investigated, and character of liveness of AC is discussed as well.