Iterative deadlock control by using petri nets

An Rong Wang, Zhi Wu Li, Meng Chu Zhou, Abdulrahman M. Al-Ahmari

Research output: Contribution to journalArticlepeer-review

12 Scopus citations


Deadlocks should be eliminated in resource allocation systems such as flexible manufacturing systems. An iterative deadlock control policy is usually considered to be a natural solution with reasonable computational cost for a large-scale system where direct methods would be prohibitively expensive (and in some cases impossible) even with the best available computing power. This paper reviews the existing iterative deadlock prevention policies for discrete event systems that are modeled with Petri nets. A number of technical problems in the existing iterative deadlock control approaches are formulated and discussed. Their solutions are illustrated through case studies. We conclude that the suitability, effectiveness, and efficiency of an iterative deadlock control approach are sensitive to specific examples, and no general algorithm is found in the literature, which works well for all cases.

Original languageEnglish (US)
Article number6185690
Pages (from-to)1204-1218
Number of pages15
JournalIEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews
Issue number6
StatePublished - 2012

All Science Journal Classification (ASJC) codes

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


  • Automated manufacturing system
  • Petri net
  • deadlock
  • discrete event system
  • flexible manufacturing system
  • iterative control


Dive into the research topics of 'Iterative deadlock control by using petri nets'. Together they form a unique fingerprint.

Cite this