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