|
计算机科学 2001
Analysis of Peculiarity for M-Petri Net
|
Abstract:
Petri网的应用越来越广泛,对其理论的研究也进一步深入,文1]~3]对Petri网的加法、笛积、广义笛积和并运算进行了一系列讨论,得到一些重要性质。对Petri网的活性研究,具有非常重要的理论和应用价值,也是Petri网理论工作者花费很大精力研究的问题。但对一般Petri网的活性研究至今没有较为理想的解决方法。本文在Petri网的并运算的基础上提出了多重Petri网—M-Petri网的概念,并讨论了M-Petri网的相容、守恒、有界性质以及活性,给出若干结构有界的判定条件。