Deadlock characterization and control of flexible assembly systems with Petri nets

Keyi Xing, Feng Wang, Meng Chu Zhou, Hang Lei, Jianchao Luo

Research output: Contribution to journalArticlepeer-review

35 Scopus citations


Efficient deadlock controllers are critical in the operation of automated manufacturing systems. This work focuses on a deadlock control problem for flexible assembly systems (FAS). Petri nets are used to model the systems. Through their liveness analysis, it characterizes two kinds of structural objects. Each object can lead to a siphon, and may cause the system to deadlock. Based on such objects, a necessary and sufficient condition about the liveness of Petri net models is obtained. In order to prevent each such object from causing FAS to deadlock, a Petri net controller is designed such that its induced siphon cannot be empty. The conjunction of all these controllers is proved to be capable of ensuring deadlock-free operation of a large class of FAS. The effectiveness of the proposed approach is shown via an FAS example.

Original languageEnglish (US)
Pages (from-to)358-364
Number of pages7
StatePublished - Jan 2018

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering


  • Control
  • Deadlock prevention
  • Flexible assembly system (FAS)
  • Petri net


Dive into the research topics of 'Deadlock characterization and control of flexible assembly systems with Petri nets'. Together they form a unique fingerprint.

Cite this