Deadlock prevention for a class of petri nets with uncontrollable and unobservable transitions

Meng Qin; Zhiwu Li; Mengchu Zhou; Mohamed Khalgui; Olfa Mosbahi

doi:10.1109/TSMCA.2011.2169955

Deadlock prevention for a class of petri nets with uncontrollable and unobservable transitions

Meng Qin, Zhiwu Li, Mengchu Zhou, Mohamed Khalgui, Olfa Mosbahi

Electrical and Computer Engineering

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

24 Scopus citations

Abstract

This study deals with deadlock problems in a system with uncontrollable and unobservable events, which is modeled with a subclass of Petri nets. We design monitors to enforce constraints for minimal siphons in a Petri net model. A key point of this paper is how to select the input and output arcs of a monitor when there exist uncontrollable and unobservable transitions. After the enforcement of constraints, an iterative algorithm is developed to obtain a controlled system with liveness. A sufficient and necessary condition is established to decide the existence of a monitor enforcing a constraint in a plant with uncontrollable and unobservable transitions.

Original language	English (US)
Article number	6135815
Pages (from-to)	727-738
Number of pages	12
Journal	IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Volume	42
Issue number	3
DOIs	https://doi.org/10.1109/TSMCA.2011.2169955
State	Published - May 2012

All Science Journal Classification (ASJC) codes

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

Keywords

Discrete event system
Petri net
flexible manufacturing system (FMS)
liveness constraint
siphon
uncontrollable and unobservable transition

Access to Document

10.1109/TSMCA.2011.2169955

Cite this

@article{f5d04630db034882bb7234ccecc3991d,

title = "Deadlock prevention for a class of petri nets with uncontrollable and unobservable transitions",

abstract = "This study deals with deadlock problems in a system with uncontrollable and unobservable events, which is modeled with a subclass of Petri nets. We design monitors to enforce constraints for minimal siphons in a Petri net model. A key point of this paper is how to select the input and output arcs of a monitor when there exist uncontrollable and unobservable transitions. After the enforcement of constraints, an iterative algorithm is developed to obtain a controlled system with liveness. A sufficient and necessary condition is established to decide the existence of a monitor enforcing a constraint in a plant with uncontrollable and unobservable transitions.",

keywords = "Discrete event system, Petri net, flexible manufacturing system (FMS), liveness constraint, siphon, uncontrollable and unobservable transition",

author = "Meng Qin and Zhiwu Li and Mengchu Zhou and Mohamed Khalgui and Olfa Mosbahi",

note = "Funding Information: Manuscript received September 30, 2010; revised March 25, 2011; accepted July 17, 2011. Date of publication January 23, 2012; date of current version April 13, 2012. This work was supported in part by the National Natural Science Foundation of China under Grants 61074035 and 61034004, by the Fundamental Research Funds for the Central Universities under Grant JY10000904001, by the National Research Foundation for the Doctoral Program of Higher Education, by the Ministry of Education, China, under Grant 20090203110009, by the Research Fellowship for International Young Scientists, National Natural Science Foundation of China, under Grant 61050110145, and by the Alexander von Humboldt Foundation. This paper was recommended by Associate Editor W. Pedrycz.",

year = "2012",

month = may,

doi = "10.1109/TSMCA.2011.2169955",

language = "English (US)",

volume = "42",

pages = "727--738",

journal = "IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans",

issn = "1083-4427",

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

number = "3",

}

TY - JOUR

T1 - Deadlock prevention for a class of petri nets with uncontrollable and unobservable transitions

AU - Qin, Meng

AU - Li, Zhiwu

AU - Zhou, Mengchu

AU - Khalgui, Mohamed

AU - Mosbahi, Olfa

N1 - Funding Information: Manuscript received September 30, 2010; revised March 25, 2011; accepted July 17, 2011. Date of publication January 23, 2012; date of current version April 13, 2012. This work was supported in part by the National Natural Science Foundation of China under Grants 61074035 and 61034004, by the Fundamental Research Funds for the Central Universities under Grant JY10000904001, by the National Research Foundation for the Doctoral Program of Higher Education, by the Ministry of Education, China, under Grant 20090203110009, by the Research Fellowship for International Young Scientists, National Natural Science Foundation of China, under Grant 61050110145, and by the Alexander von Humboldt Foundation. This paper was recommended by Associate Editor W. Pedrycz.

PY - 2012/5

Y1 - 2012/5

N2 - This study deals with deadlock problems in a system with uncontrollable and unobservable events, which is modeled with a subclass of Petri nets. We design monitors to enforce constraints for minimal siphons in a Petri net model. A key point of this paper is how to select the input and output arcs of a monitor when there exist uncontrollable and unobservable transitions. After the enforcement of constraints, an iterative algorithm is developed to obtain a controlled system with liveness. A sufficient and necessary condition is established to decide the existence of a monitor enforcing a constraint in a plant with uncontrollable and unobservable transitions.

AB - This study deals with deadlock problems in a system with uncontrollable and unobservable events, which is modeled with a subclass of Petri nets. We design monitors to enforce constraints for minimal siphons in a Petri net model. A key point of this paper is how to select the input and output arcs of a monitor when there exist uncontrollable and unobservable transitions. After the enforcement of constraints, an iterative algorithm is developed to obtain a controlled system with liveness. A sufficient and necessary condition is established to decide the existence of a monitor enforcing a constraint in a plant with uncontrollable and unobservable transitions.

KW - Discrete event system

KW - Petri net

KW - flexible manufacturing system (FMS)

KW - liveness constraint

KW - siphon

KW - uncontrollable and unobservable transition

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

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

U2 - 10.1109/TSMCA.2011.2169955

DO - 10.1109/TSMCA.2011.2169955

M3 - Article

AN - SCOPUS:84862827034

SN - 1083-4427

VL - 42

SP - 727

EP - 738

JO - IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

JF - IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

IS - 3

M1 - 6135815

ER -

Deadlock prevention for a class of petri nets with uncontrollable and unobservable transitions

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this