Deadlock avoidance control for manufacturing systems with multiple capacity resources |
| |
Authors: | L. Ferrarini M. Maroni |
| |
Affiliation: | (1) Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. Da Vinci 32, 20133 Milano, Italy |
| |
Abstract: | This 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 modelling 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: | Control system Deadlock avoidance Flexible manufacturing system Petri nets |
本文献已被 SpringerLink 等数据库收录! |
|