论文信息 - Useful necessary and sufficient condition for reachability of extended marked graphs

Useful necessary and sufficient condition for reachability of extended marked graphs

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.

K. Tsuji

[1] Kunihiko Hiraishi,et al. Analysis and control of discrete event systems represented by petri nets , 1988 .

[2] K. Tsuji,et al. Structures for a homogeneous solution of the state equation of a special timed Petri net and their applications , 1991, 1991., IEEE International Sympoisum on Circuits and Systems.

[3] Kohkichi Tsuji,et al. A useful necessary condition and a simple sufficient condition for liveness of general Petri nets , 1991 .

[4] 平石邦彦. On structural analysis of Petri nets , 1990 .

[5] Kohkichi Tsuji,et al. Structural Properties about Relation between Deadlocks and Traps in Timed Petri Nets , 1990 .

[6] Tadao Murata,et al. On reachability conditions for unrestricted Petri nets , 1993, 1993 IEEE International Symposium on Circuits and Systems.

[7] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[8] Qi-Wei Ge,et al. Structural analysis of t-invariance of petri nets , 1988 .

[9] Atsunobu Ichikawa,et al. Control of Event-driven Systems , 1985 .