Title :
The useful necessary and sufficient conditions for liveness of subclasses of regular Petri nets as well as some timed Petri nets
Author :
Tsuji, Kohkichi ; Matsumoto, Tadashi
Author_Institution :
Fac. of Eng., Fukui Univ., Japan
Abstract :
The necessary and sufficient conditions for liveness of typical and useful subclasses are easily and systematically reduced from the necessary and sufficient condition for liveness of general regular Petri nets as well as special timed Petri nets
Keywords :
Petri nets; discrete time systems; liveness; regular Petri nets; subclasses; timed Petri nets; Discrete event systems; Hafnium; Petri nets; Sufficient conditions; System recovery;
Conference_Titel :
Circuits and Systems, 1991. Conference Proceedings, China., 1991 International Conference on
Conference_Location :
Shenzhen
DOI :
10.1109/CICCAS.1991.184291
