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

Hesuan Hu, Mengchu Zhou, Zhiwu Li

Research output: Contribution to journalArticlepeer-review

40 Scopus citations

Abstract

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
Volume42
Issue number2
DOIs
StatePublished - Mar 2012

All Science Journal Classification (ASJC) codes

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

Keywords

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

Fingerprint 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