IEEE - Institute of Electrical and Electronics Engineers, Inc. - State-space size estimation of conservative Petri nets

Author(s): Watson, J.F., III ; Desrochers, A.A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1992
Conference Location: Nice, France, France
Conference Date: 12 May 1992
ISBN (Paper): 0-8186-2720-4
DOI: 10.1109/ROBOT.1992.220211
Regular:

An investigation into the relationships between Petri net (PN) models and their associated state-space is discussed. An algorithm to estimate an upper bound on the number of states in a PN is... View More

Advertisement