Monitor-based liveness-enforcing petri net supervisors for flexible manufacturing systems

Dan You, Shouguang Wang, Mengchu Zhou, Wenhui Wu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Deadlocks are a rather undesirable phenomenon in flexible manufacturing systems (FMSs). This work, by adding monitors, develops a deadlock prevention policy for FMSs that can be modeled by a class of Petri nets called α-S3PR with ξ-resources. First, an algorithm is given to reduce an S3PR via a ξ-resource. Based on it, ξ-resources in α-S3PRs are classified into A-ξ-resources and B-ξ-resources. Next, for an α-S3PR with only B-ξ-resources, it is proved that a maximally permissive liveness-enforcing supervisor can be designed by M-controlling all the emptied strict minimal siphons (SMSs). For an α-S3PR containing A-ξ-resources, a liveness-enforcing supervisor can be designed by iteratively reducing the net via A-ξ-resources and adding the corresponding monitors. Finally, a comprehensive deadlock prevention algorithm for α-S3PRs is presented. An FMS example is used to illustrate its application.

Original languageEnglish (US)
Title of host publicationProceedings of the 33rd Chinese Control Conference, CCC 2014
EditorsShengyuan Xu, Qianchuan Zhao
PublisherIEEE Computer Society
Pages4011-4016
Number of pages6
ISBN (Electronic)9789881563842
DOIs
StatePublished - Sep 11 2014
EventProceedings of the 33rd Chinese Control Conference, CCC 2014 - Nanjing, China
Duration: Jul 28 2014Jul 30 2014

Publication series

NameProceedings of the 33rd Chinese Control Conference, CCC 2014
ISSN (Print)1934-1768
ISSN (Electronic)2161-2927

Other

OtherProceedings of the 33rd Chinese Control Conference, CCC 2014
CountryChina
CityNanjing
Period7/28/147/30/14

All Science Journal Classification (ASJC) codes

  • Computer Science Applications
  • Control and Systems Engineering
  • Applied Mathematics
  • Modeling and Simulation

Keywords

  • Flexible manufacturing system (FMS)
  • Petri nets
  • deadlock prevention policy
  • supervisory control

Fingerprint Dive into the research topics of 'Monitor-based liveness-enforcing petri net supervisors for flexible manufacturing systems'. Together they form a unique fingerprint.

Cite this