Synthesis of monitor-based liveness-enforcing supervisors for S3 PR with ξ-resources

Dan You, Shouguang Wang, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

27 Scopus citations


Deadlocks are a rather undesirable phenomenon in flexible manufacturing systems (FMSs). This work, by adding monitors, develops a deadlock prevention policy for FMSs that can be modeled by a class of Petri nets called -S3 PR with ξ-resources. First, an algorithm is presented to reduce an S3 PR via a ξ-resource. Based on the algorithm, ξ-resources in -S3 PRs are classified into two types: 1) A-ξ-resources and 2) B-ξ-resources. Next, for an α-S3 PR with only B-ξ-resources, it is proved that a maximally permissive liveness-enforcing supervisor can be designed by controlling all emptied strict minimal siphons. For an α-S3 PR containing A-ξ-resources, a liveness-enforcing supervisor can be designed by iteratively reducing the net via A-ξ-resources and adding the corresponding monitors. Finally, a deadlock prevention algorithm for α-S3 PRs is presented. Two FMS examples are used to illustrate its application. Its comparison results with other state-of-the-art deadlock prevention policies validate its overall advantages in terms of computational complexity, structural complexity, and behavior permissiveness.

Original languageEnglish (US)
Article number7042836
Pages (from-to)967-975
Number of pages9
JournalIEEE Transactions on Systems, Man, and Cybernetics: Systems
Issue number6
StatePublished - Jun 1 2015

All Science Journal Classification (ASJC) codes

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


  • Deadlock prevention policy
  • Petri nets
  • flexible manufacturing system (FMS)
  • monitor-based


Dive into the research topics of 'Synthesis of monitor-based liveness-enforcing supervisors for S3 PR with ξ-resources'. Together they form a unique fingerprint.

Cite this