Deadlock Control Methods in Automated Manufacturing Systems

Maria Pia Fanti, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

332 Scopus citations


As more and more producers move to use flexible and agile manufacturing as a way to keep them with a competitive edge, the investigations on deadlock resolution in automated manufacturing have received significant attention for a decade. Deadlock and related blocking phenomena often lead to catastrophic results in automated manufacturing systems. Their efficient handling becomes a necessary condition for a system to gain high productivity. This paper intends to present a tutorial survey of state-of-the art modeling and deadlock control methods for discrete manufacturing systems. It presents the updated results in the areas of deadlock prevention, detection and recovery, and avoidance. It focuses on three modeling methods: digraphs, automata, and Petri nets. Moreover, for each approach, the main and relevant contributions are selected enlightening pros and cons. The paper concludes with the future research needs in this important area in order to bridge the gap between the academic research and industrial needs.

Original languageEnglish (US)
Pages (from-to)5-22
Number of pages18
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.
Issue number1
StatePublished - Jan 2004

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Human-Computer Interaction
  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Computer Science Applications


  • Automata
  • Automated manufacturing systems
  • Deadlock resolution
  • Diagraph
  • Petri nets


Dive into the research topics of 'Deadlock Control Methods in Automated Manufacturing Systems'. Together they form a unique fingerprint.

Cite this