Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS

Murat Uzam, Zhiwu Li, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

107 Scopus citations


In the past two decades, a number of Petri-net-based approaches were proposed for deadlock prevention in flexible manufacturing systems (FMS). An FMS is modeled as a Petri net, and then the controller or the liveness enforcing supervisor (LES) is computed as a Petri net. A live Petri net (LPN) guarantees deadlock-free operations of the modeled FMS. An LES consists of a number of control places (CPs) and their related arcs. To-date most of the attention has been paid to make the underlying Petri net models live without questioning whether or not all of the computed CPs are necessary. It is often the case that the number of CPs determined by these approaches is not minimal. Reducing it in order to reduce the complexity of the controlled system is an important issue that was not tackled before. To address this problem, this paper proposes a redundancy test for an LES of an FMS. The proposed approach takes an LPN model, controlled by n CPs, as input and in the existence of any redundant CPs it produces redundant and necessary CPs. The proposed approach is applicable to any LPN consisting of a Petri net model (PNM), controlled by means of a set of CPs.

Original languageEnglish (US)
Pages (from-to)150-168
Number of pages19
JournalInternational Journal of Advanced Manufacturing Technology
Issue number1-2
StatePublished - Nov 2007

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Software
  • Mechanical Engineering
  • Computer Science Applications
  • Industrial and Manufacturing Engineering


  • Deadlock
  • Deadlock prevention
  • Flexible manufacturing systems
  • Liveness enforcing supervisor
  • Petri nets (PN)
  • Redundancy test


Dive into the research topics of 'Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS'. Together they form a unique fingerprint.

Cite this