In: International Journal of Advanced Manufacturing Technology, Vol. 14, No. 10, pages 729-736. 1998.
Abstract: his paper addresses the problem of designing a control scheme capable of avoiding deadlock conditions for a class of manufacturing systems. The considered model for the system under control is based on Petri nets, and is formulated according to well-known modeling rules. A deadlock avoidance policy is proposed which is an extension of a previously presented one. The proofs of its main properties are briefly sketched. Finally, an example of an automated manufacturing system for which such a deadlock avoidance policy has been applied is discussed.
Keywords: Petri nets, control systems, deadlock avoidance, flexible manufacturing systems.