In: IEEE Trans. Autom. Control, Vol. 35, No. 5, pages 514-523. May 1990.
Abstract: An efficient solution is developed for a class of forbidden state problems for discrete event systems (DESs). DESs are considered which can be modeled as cyclic controlled marked graphs (CMGs), a special class of controlled Petri nets. The distributed representation of the DES state in terms of the CMG marking permits an efficient specification of the forbidden states in terms of individual place markings. The practical application of the theoretical results is illustrated for an example of automated guided vehicle coordination in a flexible manufacturing facility.
Keywords: feedback control logic, (synthesis of); controlled net; forbidden state; discrete event system; cyclic controlled marked graph; state transition logic; automated guided vehicle; flexible manufacturing system.