Design of optimal monitor-based supervisors for a class of petri netswith uncontrollable transitions

Shouguang Wang, Chengying Wang, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

38 Scopus citations

Abstract

For a class of Petri nets whose uncontrollable influence subnets are forward synchronization and backward conflictfree nets, this paper proposes an algorithm to transform a given generalized mutual exclusion constraint (GMEC) into an optimal admissible one. Based on the proposed constraint transformation, a method is given to synthesize an optimal monitor-based supervisors. The proposed method utilizes an optimal monitor-based supervisor to enforce a GMEC containing infinite elements, which has not been seen in any prior research. Moreover, it has higher computational efficiency at the expense of application scope than some existing methods. An example is used to illustrate the application of the proposed method.

Original languageEnglish (US)
Pages (from-to)1248-1255
Number of pages8
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Volume43
Issue number5
DOIs
StatePublished - 2013

All Science Journal Classification (ASJC) codes

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

Keywords

  • Deadlock
  • Discrete event system (DES)
  • Flexible manufacturing system
  • Petri net

Fingerprint

Dive into the research topics of 'Design of optimal monitor-based supervisors for a class of petri netswith uncontrollable transitions'. Together they form a unique fingerprint.

Cite this