Automated manufacturing systems (AMSs) consist of many workstations (machines) performing a set of generic operations and of a material handling system routing the parts (jobs) among the workstations. Machines and transport units are under the sophisticated control of computers. As a result of their capacity of simultaneously processing medium-sized volumes of various part types, AMSs combine efficiency in using and sharing available resources and rapidity in responding to change in the marketplace. However, since various jobs compete for a fixed number of resources, the management and the operation of AMSs bear some control problems such as blocking, conflicts and deadlocks. Specifically, deadlocks cause heavy damages because they establish a permanent blocking of processes and prevent parts from flowing. Namely, when a deadlock occurs, transferring some jobs from one resource to another is impossible because each of such jobs is waiting for a resource that is held by parts in the same set.

Deadlock Avoidance Policies in Production Systems by a Digraph Approach / Fanti, Maria Pia; Maione, Bruno; Turchiano, Biagio - In: Formal Methods in Manufacturing / [a cura di] Javier Campos, Carla Seatzu, Xiaolan Xie. - ELETTRONICO. - Boca Raton, FL : CRC Press, 2014. - ISBN 978-1-4665-6155-7. - pp. 229-258

Deadlock Avoidance Policies in Production Systems by a Digraph Approach

Maria Pia Fanti;Bruno Maione;Biagio Turchiano
2014-01-01

Abstract

Automated manufacturing systems (AMSs) consist of many workstations (machines) performing a set of generic operations and of a material handling system routing the parts (jobs) among the workstations. Machines and transport units are under the sophisticated control of computers. As a result of their capacity of simultaneously processing medium-sized volumes of various part types, AMSs combine efficiency in using and sharing available resources and rapidity in responding to change in the marketplace. However, since various jobs compete for a fixed number of resources, the management and the operation of AMSs bear some control problems such as blocking, conflicts and deadlocks. Specifically, deadlocks cause heavy damages because they establish a permanent blocking of processes and prevent parts from flowing. Namely, when a deadlock occurs, transferring some jobs from one resource to another is impossible because each of such jobs is waiting for a resource that is held by parts in the same set.
2014
Formal Methods in Manufacturing
978-1-4665-6155-7
CRC Press
Deadlock Avoidance Policies in Production Systems by a Digraph Approach / Fanti, Maria Pia; Maione, Bruno; Turchiano, Biagio - In: Formal Methods in Manufacturing / [a cura di] Javier Campos, Carla Seatzu, Xiaolan Xie. - ELETTRONICO. - Boca Raton, FL : CRC Press, 2014. - ISBN 978-1-4665-6155-7. - pp. 229-258
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11589/13181
Citazioni
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact