In: IEEE Transactions on Systems, Man and Cybernetics, Vol. 19, No. 5, pages 963-973. September 1989.
Abstract: The concept of Petri net controllers is extended to include automatic error recovery and adaptive design. In the controller, a place that represents an operation or a state of a machine is attached to two functions and a constant so that it can represent a system working with both normal and abnormal states. Four basic Petri net augmentation methods are investigated: input conditioning, alternate path, feedback error recovery, and forward error recovery. The authors demonstrate that then some important properties are guaranteed to be preserved including boundedness or safeness, lifeness, reversibility, and the essentially decision-free property.
Keywords: adaptive design; net controller; error recovery; automated manufacturing system; augmentated net; safeness; lifeness.