Title :
The necessary and sufficient condition for liveness of some timed Petri nets as well as Petri nets without time
Author :
Matsumoto, Tadashi ; Tsuji, Keita
Author_Institution :
Fac. of Eng., Fukui Univ., Japan
Abstract :
The initial-marking-based necessary and sufficient condition for liveness of special timed Petri nets as well as ordinary Petri nets without time is given by the direct and net-structural approach. It is shown that by using the properties and theorems, the new initial-marking-based necessary and sufficient condition for liveness of special timed Petri nets as well as Petri nets without time is derived
Keywords :
Petri nets; deadlocks; initial marking based condition; liveness; net-structural approach; ordinary Petri nets; sufficient condition; timed Petri nets; traps; Bipartite graph; Concurrent computing; Distributed computing; Petri nets; Sufficient conditions; System recovery;
Conference_Titel :
Circuits and Systems, 1991., IEEE International Sympoisum on
Print_ISBN :
0-7803-0050-5
DOI :
10.1109/ISCAS.1991.176136
