IEEE - Institute of Electrical and Electronics Engineers, Inc. - On reachability conditions for unrestricted Petri nets

1993 IEEE International Symposium on Circuits and Systems (ISCAS)

Author(s): K. Tsuji ; T. Murata
Sponsor(s): IEEE
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 1993
Conference Location: Chicago, IL, USA
Conference Date: 3 May 1993
ISBN (Paper): 0-7803-1281-3
DOI: 10.1109/ISCAS.1993.394327
Regular:

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... View More

Advertisement