Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions

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

doi:10.1109/TAC.2015.2480233

Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions

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

Electrical and Computer Engineering

Research output: Contribution to journal › Article › peer-review

36 Scopus citations

Abstract

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 language	English (US)
Article number	7272077
Pages (from-to)	1953-1958
Number of pages	6
Journal	IEEE Transactions on Automatic Control
Volume	61
Issue number	7
DOIs	https://doi.org/10.1109/TAC.2015.2480233
State	Published - Jul 2016

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Computer Science Applications
Electrical and Electronic Engineering

Keywords

Discrete event systems
Petri nets
supervisory control

Access to Document

10.1109/TAC.2015.2480233

Cite this

@article{cfb37cd33a304e7aaf0502609ec8703c,

title = "Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions",

abstract = "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.",

keywords = "Discrete event systems, Petri nets, supervisory control",

author = "Shouguang Wang and Dan You and Zhou, {Meng Chu} and Carla Seatzu",

note = "Publisher Copyright: {\textcopyright} 2015 IEEE.",

year = "2016",

month = jul,

doi = "10.1109/TAC.2015.2480233",

language = "English (US)",

volume = "61",

pages = "1953--1958",

journal = "IEEE Transactions on Automatic Control",

issn = "0018-9286",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "7",

}

TY - JOUR

T1 - Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions

AU - Wang, Shouguang

AU - You, Dan

AU - Zhou, Meng Chu

AU - Seatzu, Carla

PY - 2016/7

Y1 - 2016/7

N2 - 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.

AB - 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.

KW - Discrete event systems

KW - Petri nets

KW - supervisory control

UR - http://www.scopus.com/inward/record.url?scp=84977134167&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84977134167&partnerID=8YFLogxK

U2 - 10.1109/TAC.2015.2480233

DO - 10.1109/TAC.2015.2480233

M3 - Article

AN - SCOPUS:84977134167

SN - 0018-9286

VL - 61

SP - 1953

EP - 1958

JO - IEEE Transactions on Automatic Control

JF - IEEE Transactions on Automatic Control

IS - 7

M1 - 7272077

ER -

Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this