IEEE - Institute of Electrical and Electronics Engineers, Inc. - A class of Petri nets with a convex reachability set

Proceedings of 1993 IEEE International Conference on Robotics and Automation

Author(s): Giua, A. ; DiCesare, F.
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.292041
Regular:

A class of place/transition nets, called elementary composed state machine nets, is defined. The most interesting property of this class of nets is that the set of reachable markings is an integer... View More

Advertisement