Title :
An equivalence net-condition between place-liveness and transition-liveness and its initial-marking-based necessary and sufficient liveness condition of Petri nets
Author :
Matsumoto, Tadashi ; Tsuji, Kohkichi
Author_Institution :
Fac. of Eng., Fukui Univ., Japan
Abstract :
The structural necessary and sufficient condition for `the transition-liveness means the place-liveness and vice-versa´ of a subclass NII of general Petri nets is given as `the place and transition live Petri net, or PT net, N˜II ´. The initial-marking-based necessary and sufficient transition-live, i.e. place-live, condition for N˜II is also given specifying the relation to that for the subclass NII of general Petri nets. The one-token-condition Petri nets, or OTC nets, which are a subset of N˜II , are also discussed
Keywords :
Petri nets; OTC nets; Petri nets; equivalence net-condition; initial-marking-based liveness condition; necessary liveness condition; one-token-condition Petri nets; place-liveness; sufficient liveness condition; transition live Petri net; transition-liveness; Fires; Neodymium; Petri nets; Sufficient conditions; System recovery;
Conference_Titel :
Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-0593-0
DOI :
10.1109/ISCAS.1992.230420
