Deadlock Prevention Controller for Automated Manufacturing Systems Modeled by S4PR

Yanxiang Feng, Mengchu Zhou, Feng Tian, Chao Bo Yan, Keyi Xing

Research output: Contribution to journalArticlepeer-review

9 Scopus citations


This article focuses on the problem of deadlock for sequential automated manufacturing systems (AMSs) that allow for the general resource allocation and flexible routings. A class of Petri nets, systems of sequential systems with shared resources (S4PR), are used to model these considered AMSs. Our previous work has showed that deadlocks in S4PR are characterized by saturated perfect activity-circuit (PA-circuit). In this article, we divide all saturable PA-circuits into two categories: 1) dependent and 2) independent. An algorithm is proposed to compute all independent saturable PA-circuits. We prove that by adding a monitor for each independent PA-circuit to ensure that it is not saturated, all dependent PA-circuits cannot be saturated either and deadlocks in S4PR are successfully prevented. The presented method simplifies the structure of the deadlock controller without imposing tight constraints on the system. Finally, the proposed controller is illustrated by some examples.

Original languageEnglish (US)
Pages (from-to)7403-7412
Number of pages10
JournalIEEE Transactions on Systems, Man, and Cybernetics: Systems
Issue number12
StatePublished - Dec 1 2021

All Science Journal Classification (ASJC) codes

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


  • Automated manufacturing system (AMS)
  • Petri nets
  • deadlock prevention
  • liveness-enforcing


Dive into the research topics of 'Deadlock Prevention Controller for Automated Manufacturing Systems Modeled by S4PR'. Together they form a unique fingerprint.

Cite this