Title :
On reachability conditions for unrestricted Petri nets
Author :
Tsuji, Kohkichi ; Murata, Tadao
Author_Institution :
Dept. of EECS, Illinois Univ., Chicago, IL, USA
Abstract :
By using the state equation of a Petri net, the authors derive a sufficient condition for reachability of Petri nets. Then, from this sufficient condition, they show that necessary and sufficient conditions can be derived for reachability of subclasses of a Petri net. The results presented are useful for analyzing many behavioral properties of Petri nets
Keywords :
Petri nets; reachability analysis; behavioral properties; reachability conditions; state equation; subclasses; unrestricted Petri nets; Equations; Fires; Petri nets; Sufficient conditions; System recovery;
Conference_Titel :
Circuits and Systems, 1993., ISCAS '93, 1993 IEEE International Symposium on
Conference_Location :
Chicago, IL
Print_ISBN :
0-7803-1281-3
DOI :
10.1109/ISCAS.1993.394327
