Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions

Shouguang Wang, Dan You, Meng Chu Zhou, Carla Seatzu

Research output: Contribution to journalArticlepeer-review

34 Scopus citations


This work studies the equivalent transformation from a legal marking set to its admissible marking set. First, the concepts of escaping-marking set and transforming marking set are defined, and two algorithms are provided to compute the transforming marking set and the admissible marking set. Second, the equivalent transformation of a disjunction of linear constraints expressed in terms of generalized mutual exclusion constraints (GMECs) with non-negative weights via uncontrollable transitions is established.

Original languageEnglish (US)
Article number7272077
Pages (from-to)1953-1958
Number of pages6
JournalIEEE Transactions on Automatic Control
Issue number7
StatePublished - Jul 2016

All Science Journal Classification (ASJC) codes

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


  • Discrete event systems
  • Petri nets
  • supervisory control


Dive into the research topics of 'Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions'. Together they form a unique fingerprint.

Cite this