IEEE - Institute of Electrical and Electronics Engineers, Inc. - The minimum number of live minimal structural traps to make an arbitrary minimal structural deadlock live in general Petri nets

1993 IEEE International Symposium on Circuits and Systems (ISCAS)

Author(s): T. Matsumoto ; K. Saikusa ; K. Tsuji
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.394328
Regular:

A property about a general Petri net N = (S,T,F,M/sub o/) is proven. When an arbitrary minimal structural deadlock (or MSDL N/sub D/) contains some minimal structural traps (or MSTRs), this MSDL... View More

Advertisement