DocumentCode
2614864
Title
On reachability conditions for unrestricted Petri nets
Author
Tsuji, Kohkichi ; Murata, Tadao
Author_Institution
Dept. of EECS, Illinois Univ., Chicago, IL, USA
fYear
1993
fDate
3-6 May 1993
Firstpage
2713
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1993., ISCAS '93, 1993 IEEE International Symposium on
Conference_Location
Chicago, IL
Print_ISBN
0-7803-1281-3
Type
conf
DOI
10.1109/ISCAS.1993.394327
Filename
394327
Link To Document