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

Shouguang Wang, Chengying Wang, Mengchu Zhou

Research output: Contribution to journalArticle

36 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 - Nov 11 2013

All Science Journal Classification (ASJC) codes

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

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