Title :
Useful necessary and sufficient condition for reachability of extended marked graphs
Author :
Tsuji, Kohlcichi
Author_Institution :
Aichi Prefectural Univ., Japan
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;
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
DOI :
10.1109/ISCAS.1998.704017
