Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets

Zhi Wu Li, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

224 Scopus citations

Abstract

This paper develops a two-stage approach to synthesizing liveness-enforcing supervisors for flexible manufacturing systems (FMS) that can be modeled by a class of Petri nets. First, we find siphons that need to be controlled using a mixed integer programming (MIP) method. This way avoids complete siphon enumeration that is more time-consuming for a sizable plant model than the MIP method. Monitors are added for only those siphons that require them. Second, we rearrange the output arcs of the monitors on condition that liveness is still preserved. The liveness is verified by an MIP-based deadlock detection method instead of much time-consuming reachability analysis. Experimental studies show that the proposed approach is more efficient than the existing ones and can result in more permissive and structurally simpler liveness-enforcing supervisors than all the known existing methods. This paper makes the application of siphon-based deadlock control methods to industrial-size FMS possible.

Original languageEnglish (US)
Pages (from-to)313-325
Number of pages13
JournalIEEE Transactions on Industrial Informatics
Volume2
Issue number4
DOIs
StatePublished - Nov 1 2006

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Information Systems
  • Computer Science Applications
  • Electrical and Electronic Engineering

Keywords

  • Deadlock prevention
  • Elementary siphon
  • Flexible manufacturing system
  • Petri net
  • Siphon

Fingerprint

Dive into the research topics of 'Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets'. Together they form a unique fingerprint.

Cite this