Iterative deadlock control by using petri nets

An Rong Wang; Zhi Wu Li; Meng Chu Zhou; Abdulrahman M. Al-Ahmari

doi:10.1109/TSMCC.2012.2189385

Iterative deadlock control by using petri nets

An Rong Wang, Zhi Wu Li, Meng Chu Zhou, Abdulrahman M. Al-Ahmari

Electrical and Computer Engineering

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

12 Scopus citations

Abstract

Deadlocks should be eliminated in resource allocation systems such as flexible manufacturing systems. An iterative deadlock control policy is usually considered to be a natural solution with reasonable computational cost for a large-scale system where direct methods would be prohibitively expensive (and in some cases impossible) even with the best available computing power. This paper reviews the existing iterative deadlock prevention policies for discrete event systems that are modeled with Petri nets. A number of technical problems in the existing iterative deadlock control approaches are formulated and discussed. Their solutions are illustrated through case studies. We conclude that the suitability, effectiveness, and efficiency of an iterative deadlock control approach are sensitive to specific examples, and no general algorithm is found in the literature, which works well for all cases.

Original language	English (US)
Article number	6185690
Pages (from-to)	1204-1218
Number of pages	15
Journal	IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews
Volume	42
Issue number	6
DOIs	https://doi.org/10.1109/TSMCC.2012.2189385
State	Published - 2012

All Science Journal Classification (ASJC) codes

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

Keywords

Automated manufacturing system
Petri net
deadlock
discrete event system
flexible manufacturing system
iterative control

Access to Document

10.1109/TSMCC.2012.2189385

Cite this

@article{ce4f5d9ad1044c02b3144aaf6d81f38f,

title = "Iterative deadlock control by using petri nets",

abstract = "Deadlocks should be eliminated in resource allocation systems such as flexible manufacturing systems. An iterative deadlock control policy is usually considered to be a natural solution with reasonable computational cost for a large-scale system where direct methods would be prohibitively expensive (and in some cases impossible) even with the best available computing power. This paper reviews the existing iterative deadlock prevention policies for discrete event systems that are modeled with Petri nets. A number of technical problems in the existing iterative deadlock control approaches are formulated and discussed. Their solutions are illustrated through case studies. We conclude that the suitability, effectiveness, and efficiency of an iterative deadlock control approach are sensitive to specific examples, and no general algorithm is found in the literature, which works well for all cases.",

keywords = "Automated manufacturing system, Petri net, deadlock, discrete event system, flexible manufacturing system, iterative control",

author = "Wang, {An Rong} and Li, {Zhi Wu} and Zhou, {Meng Chu} and Al-Ahmari, {Abdulrahman M.}",

note = "Funding Information: Manuscript received August 9, 2011; revised December 4, 2011; accepted February 1, 2012. Date of publication April 17, 2012; date of current version December 17, 2012. This work was supported in part by the Natural Science Foundation of China under Grant 60773001, Grant 61074035, and Grant 61034004, in part by the Fundamental Research Funds for the Central Universities under Grant JY10000904001, in part by the National Research Foundation for the Doctoral Program of Higher Education, the Ministry of Education, China, under Grant 20090203110009, in part by the Research Fellowship for International Young Scientists, National Natural Science Foundation of China, under Grant 61050110145, in part by the Chang Jiang Scholar Program, Ministry of Education, China, 863 High-tech Research and Development Program of China under Grant 2008AA04Z109, and in part by the Alexander von Humboldt Foundation. This paper was recommended by Associate Editor N. Wu.",

year = "2012",

doi = "10.1109/TSMCC.2012.2189385",

language = "English (US)",

volume = "42",

pages = "1204--1218",

journal = "IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews",

issn = "1094-6977",

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

number = "6",

}

TY - JOUR

T1 - Iterative deadlock control by using petri nets

AU - Wang, An Rong

AU - Li, Zhi Wu

AU - Zhou, Meng Chu

AU - Al-Ahmari, Abdulrahman M.

N1 - Funding Information: Manuscript received August 9, 2011; revised December 4, 2011; accepted February 1, 2012. Date of publication April 17, 2012; date of current version December 17, 2012. This work was supported in part by the Natural Science Foundation of China under Grant 60773001, Grant 61074035, and Grant 61034004, in part by the Fundamental Research Funds for the Central Universities under Grant JY10000904001, in part by the National Research Foundation for the Doctoral Program of Higher Education, the Ministry of Education, China, under Grant 20090203110009, in part by the Research Fellowship for International Young Scientists, National Natural Science Foundation of China, under Grant 61050110145, in part by the Chang Jiang Scholar Program, Ministry of Education, China, 863 High-tech Research and Development Program of China under Grant 2008AA04Z109, and in part by the Alexander von Humboldt Foundation. This paper was recommended by Associate Editor N. Wu.

PY - 2012

Y1 - 2012

N2 - Deadlocks should be eliminated in resource allocation systems such as flexible manufacturing systems. An iterative deadlock control policy is usually considered to be a natural solution with reasonable computational cost for a large-scale system where direct methods would be prohibitively expensive (and in some cases impossible) even with the best available computing power. This paper reviews the existing iterative deadlock prevention policies for discrete event systems that are modeled with Petri nets. A number of technical problems in the existing iterative deadlock control approaches are formulated and discussed. Their solutions are illustrated through case studies. We conclude that the suitability, effectiveness, and efficiency of an iterative deadlock control approach are sensitive to specific examples, and no general algorithm is found in the literature, which works well for all cases.

AB - Deadlocks should be eliminated in resource allocation systems such as flexible manufacturing systems. An iterative deadlock control policy is usually considered to be a natural solution with reasonable computational cost for a large-scale system where direct methods would be prohibitively expensive (and in some cases impossible) even with the best available computing power. This paper reviews the existing iterative deadlock prevention policies for discrete event systems that are modeled with Petri nets. A number of technical problems in the existing iterative deadlock control approaches are formulated and discussed. Their solutions are illustrated through case studies. We conclude that the suitability, effectiveness, and efficiency of an iterative deadlock control approach are sensitive to specific examples, and no general algorithm is found in the literature, which works well for all cases.

KW - Automated manufacturing system

KW - Petri net

KW - deadlock

KW - discrete event system

KW - flexible manufacturing system

KW - iterative control

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

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

U2 - 10.1109/TSMCC.2012.2189385

DO - 10.1109/TSMCC.2012.2189385

M3 - Article

AN - SCOPUS:84871718723

SN - 1094-6977

VL - 42

SP - 1204

EP - 1218

JO - IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

JF - IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

IS - 6

M1 - 6185690

ER -

Iterative deadlock control by using petri nets

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this