IEEE - Institute of Electrical and Electronics Engineers, Inc. - A bottom-up algorithm for state-space size estimation of Petri nets

Proceedings of 1993 IEEE International Conference on Robotics and Automation

Author(s): Watson, J.F., III ; Desrochers, A.A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Atlanta, GA, USA
Conference Date: 2 May 1993
ISBN (Paper): 0-8186-3450-2
DOI: 10.1109/ROBOT.1993.292043
Regular:

A bottom-up state-space size estimation algorithm for Petri nets (PNs) is described. The algorithm permits fairly arbitrary subnets and interconnections. State counting (SC) functions are... View More

Advertisement