Title :
On reachability conditions for unrestricted Petri nets
Author :
Tsuji, Keita ; Murata, Takafumi
Author_Institution :
University of Illonois
Keywords :
Equations; Fires; Petri nets; Sufficient conditions; System recovery;
Conference_Titel :
Circuits and Systems, 1993., ISCAS '93, 1993 IEEE International Symposium on
Conference_Location :
IEEE
Print_ISBN :
0-7803-1281-3
