In: IEICE Transactions, Vol. E74, No. 10, October 1991, Special Issue on Petri Nets and Discrete Event Systems. 1991.
Abstract: In this paper, the general Petri net liveness problem is discussed. First, a useful necessary condition and a simple sufficient condition for liveness of general Petri nets without time are derived by using only the concept of the deadlocks. Next, it is discussed that the strong motivations, to rebuild the expanded definitions of deadlocks and traps, and to clarify their structural properties and the mutual relationships between deadlocks and traps, result from the main theorems of this paper.