Hybrid liveness-enforcing policy for generalized petri net models of flexible manufacturing systems

Ding Liu, Zhiwu Li, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

43 Scopus citations


This paper proposes a hybrid liveness-enforcing method for a class of Petri nets, which can well model many flexible manufacturing systems. The proposed method combines elementary siphons with a characteristic structure-based method to prevent deadlocks and enforce liveness to the net class under consideration. The characteristic structure-based method is further advanced in this work. It unveils and takes a full advantage of an intrinsically live structure of generalized Petri nets, which hides behind the arc weights, to achieve the liveness enforcement without any external control agent such as monitors. This hybrid method can identify and remove redundant monitors from a liveness-enforcing supervisor designed according to existing policies, improve the permissiveness, reduce the structural complexity of a controlled system, and consequently save the control implementation cost. Several examples are used to illustrate this method.

Original languageEnglish (US)
Pages (from-to)85-97
Number of pages13
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Issue number1
StatePublished - 2013

All Science Journal Classification (ASJC) codes

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


  • Flexible manufacturing system (FMS)
  • Livenessenforcing supervisor
  • Petri net
  • Siphon.


Dive into the research topics of 'Hybrid liveness-enforcing policy for generalized petri net models of flexible manufacturing systems'. Together they form a unique fingerprint.

Cite this