Liveness and ratio-enforcing supervision of automated manufacturing systems using Petri nets

Hesuan Hu, Mengchu Zhou, Zhiwu Li

Research output: Contribution to journalArticlepeer-review

43 Scopus citations


In automated manufacturing systems (AMSs), Petri nets are widely adopted to solve supervisory control problems. Among them, how to enforce liveness and fairness for AMS constitutes an important problem. Enforcing liveness avoids the occurrence of deadlock situations to inhibit the emergence of partial or complete blockness for processing jobs in AMS. Fairness requires the determination of a reasonable regulation scheme for orderly resolution such that a desired ratio can be assigned among different processes. This paper proposes an efficient method to design supervisors that enforce both, which is based on the invariance property of Petri nets. A novel approach is proposed to iteratively identify empty siphons as solutions to a set of linear inequalities. Supervisors are then designed to control these siphons. The applicability of the proposed methodology is illustrated through examples. Its comparison with existing works is presented to demonstrate its advantages.

Original languageEnglish (US)
Article number6029339
Pages (from-to)392-403
Number of pages12
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Issue number2
StatePublished - Mar 2012

All Science Journal Classification (ASJC) codes

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


  • Automated manufacturing system (AMS)
  • Petri nets
  • discrete event systems
  • mathematical programming


Dive into the research topics of 'Liveness and ratio-enforcing supervision of automated manufacturing systems using Petri nets'. Together they form a unique fingerprint.

Cite this