DocumentCode
1607836
Title
Useful necessary and sufficient condition for reachability of extended marked graphs
Author
Tsuji, Kohlcichi
Author_Institution
Aichi Prefectural Univ., Japan
Volume
3
fYear
1998
Firstpage
330
Abstract
In this paper, by using the state equation of a Petri net, we derived a necessary and sufficient condition for reachability of extended marked graphs (EMGs). In particular, these conditions can be checked easily because they are presented in terms of the initial token distribution, the final token distribution, and the net structure. Furthermore, by using this necessary and sufficient condition, we can derive also the necessary and sufficient condition for a behavioral trap in EMGs
Keywords
Petri nets; reachability analysis; Petri net; behavioral trap; extended marked graph; reachability; state equation; token distribution; Communication system control; Concurrent computing; Control system synthesis; Discrete event systems; Electromyography; Equations; Fires; Petri nets; Sufficient conditions; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1998. ISCAS '98. Proceedings of the 1998 IEEE International Symposium on
Conference_Location
Monterey, CA
Print_ISBN
0-7803-4455-3
Type
conf
DOI
10.1109/ISCAS.1998.704017
Filename
704017
Link To Document