Two simple deadlock prevention policies for S3PR based on Key-resource/operation-place Pairs

Guan Jun Liu, Chang Jun Jiang, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

62 Scopus citations


This paper proposes the concept of Key-resource/operation-place Pairs (KP) of S3PR (systems of simple sequential processes with resources). Based on KP, two policies are presented to prevent deadlocks in flexible manufacturing systems (FMS) that can be modeled by S3PR. The idea is to control some key resource places only to guarantee that all strict minimal siphons (SMS) never become empty, thereby making the controlled system live. It enables one to design two easy-to-implement control policies. The first one can guarantee that the controlled system is live, and the second one can also make the controlled system live if there is no SMS containing any control place in the controlled system. At last, a well-known FMS example is used to illustrate the proposed concept and policies.

Original languageEnglish (US)
Article number5475322
Pages (from-to)945-957
Number of pages13
JournalIEEE Transactions on Automation Science and Engineering
Issue number4
StatePublished - Oct 2010

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering


  • Deadlock prevention
  • Petri nets
  • discrete-event systems (DES)
  • flexible manufacturing systems (FMSs)


Dive into the research topics of 'Two simple deadlock prevention policies for S3PR based on Key-resource/operation-place Pairs'. Together they form a unique fingerprint.

Cite this