Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in petri nets

Zhiwu Li, Mingming Yan, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

33 Scopus citations


Generalized mutual exclusion constraints (GMECs) are a typical class of specifications for the supervisory control of discrete event systems in a Petri net formalism. This paper classifies the given constraints into elementary and dependent ones according to the linear dependency of their characteristic transition vectors that indicate the token count change of the concerned places. The dependent constraints are further divided into strongly and weakly dependent ones. A constraint is usually enforced by explicitly adding a monitor to a plant model. This research develops the conditions under which a dependent constraint is enforced due to the enforcement of the elementary constraints. The results developed in this paper are applied to the existing manufacturing-oriented Petri net classes. An algorithm is also proposed to identify a set of elementary constraints. Examples are used to demonstrate the proposed methods. Some potential extensions and applications are also discussed. This research improves the existing methods in computational efficiency and structure simplification of the supervisor, given a set of GMECs.

Original languageEnglish (US)
Article number5409629
Pages (from-to)330-340
Number of pages11
JournalIEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews
Issue number3
StatePublished - May 2010

All Science Journal Classification (ASJC) codes

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


  • Automated manufacturing system
  • Discrete event systems
  • Elementary and dependent constraints
  • Generalized mutual exclusion constraint (GMEC)
  • Monitor
  • Petri net


Dive into the research topics of 'Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in petri nets'. Together they form a unique fingerprint.

Cite this