The use of shared resources by multiple part types in automated manufacturing systems (AMSs) can cause deadlock, i.e., a situation in which the flow of parts is permanently inhibited and the processing of jobs is partially or completely blocked. Most of the work existing in literature focuses on systems in which every operation is performed by only one resource. The paper analyzes deadlock conditions for systems in which multiple resource acquisitions are allowed to complete a working operation (conjunctive resource service, CRS). Extending a digraph representation already used for systems with one-resource operation to the case of CRS allows us a formal characterization of deadlock. This leads to an easy solving approach, consisting of a detection/recovery policy. The paper also shows that some results on the safe states of systems with one-resource operation cannot be extended to CRS. As a consequence, some maximally permissive policies for deadlock avoidance cannot be applied to this kind of system.

Deadlock Analysis in Automated Manufacturing Systems with Conjunctive Resource Service / Fanti, Maria Pia; Turchiano, Biagio. - (2002), pp. 181-186. (Intervento presentato al convegno 19th IEEE International Conference on Robotics and Automation, ICRA 2002 tenutosi a Washington, DC nel May 11-15, 2002) [10.1109/ROBOT.2002.1013358].

Deadlock Analysis in Automated Manufacturing Systems with Conjunctive Resource Service

FANTI, Maria Pia;TURCHIANO, Biagio
2002-01-01

Abstract

The use of shared resources by multiple part types in automated manufacturing systems (AMSs) can cause deadlock, i.e., a situation in which the flow of parts is permanently inhibited and the processing of jobs is partially or completely blocked. Most of the work existing in literature focuses on systems in which every operation is performed by only one resource. The paper analyzes deadlock conditions for systems in which multiple resource acquisitions are allowed to complete a working operation (conjunctive resource service, CRS). Extending a digraph representation already used for systems with one-resource operation to the case of CRS allows us a formal characterization of deadlock. This leads to an easy solving approach, consisting of a detection/recovery policy. The paper also shows that some results on the safe states of systems with one-resource operation cannot be extended to CRS. As a consequence, some maximally permissive policies for deadlock avoidance cannot be applied to this kind of system.
2002
19th IEEE International Conference on Robotics and Automation, ICRA 2002
0-7803-7272-7
Deadlock Analysis in Automated Manufacturing Systems with Conjunctive Resource Service / Fanti, Maria Pia; Turchiano, Biagio. - (2002), pp. 181-186. (Intervento presentato al convegno 19th IEEE International Conference on Robotics and Automation, ICRA 2002 tenutosi a Washington, DC nel May 11-15, 2002) [10.1109/ROBOT.2002.1013358].
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/13781
Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact