摘要
随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的性质之一。我们知道Petri网系统是动态系统的静态描述,从它可以很容易得到系统的状态转换图,一般称Petri网系统的可达图(系统无界时,得覆盖图)。实质上,可达图是动态系统的动态描述;系统有多少种不同状态(不考虑系统无界时),可达图就有多少个结点;结点间由有向弧连结。
The paper is the continuation of [1],[2],[3],which is on the Petri net system important,behaviour, liveness- In this paper we study the goal, the results and the future in liveness research. And our conjectures are also here.
出处
《计算机科学》
CSCD
北大核心
1999年第4期1-4,共4页
Computer Science
基金
国家自然科学基金
关键词
PETRI网系统
活性
可达图
动态系统
Petri Net, Liveness, Subclass, Liveness conjecture, Algorithm
