Two simple deadlock prevention policies for S3PR based on Key-resource/operation-place Pairs

Guan Jun Liu; Chang Jun Jiang; Meng Chu Zhou

doi:10.1109/TASE.2010.2050059

Two simple deadlock prevention policies for S³PR based on Key-resource/operation-place Pairs

Guan Jun Liu, Chang Jun Jiang, Meng Chu Zhou

Electrical and Computer Engineering

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

62 Scopus citations

Abstract

This paper proposes the concept of Key-resource/operation-place Pairs (KP) of S³PR (systems of simple sequential processes with resources). Based on KP, two policies are presented to prevent deadlocks in flexible manufacturing systems (FMS) that can be modeled by S³PR. The idea is to control some key resource places only to guarantee that all strict minimal siphons (SMS) never become empty, thereby making the controlled system live. It enables one to design two easy-to-implement control policies. The first one can guarantee that the controlled system is live, and the second one can also make the controlled system live if there is no SMS containing any control place in the controlled system. At last, a well-known FMS example is used to illustrate the proposed concept and policies.

Original language	English (US)
Article number	5475322
Pages (from-to)	945-957
Number of pages	13
Journal	IEEE Transactions on Automation Science and Engineering
Volume	7
Issue number	4
DOIs	https://doi.org/10.1109/TASE.2010.2050059
State	Published - Oct 2010

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Electrical and Electronic Engineering

Keywords

Deadlock prevention
Petri nets
discrete-event systems (DES)
flexible manufacturing systems (FMSs)

Access to Document

10.1109/TASE.2010.2050059

Cite this

@article{75ad75ccb58244d3b0265531050ae8ff,

title = "Two simple deadlock prevention policies for S3PR based on Key-resource/operation-place Pairs",

abstract = "This paper proposes the concept of Key-resource/operation-place Pairs (KP) of S3PR (systems of simple sequential processes with resources). Based on KP, two policies are presented to prevent deadlocks in flexible manufacturing systems (FMS) that can be modeled by S3PR. The idea is to control some key resource places only to guarantee that all strict minimal siphons (SMS) never become empty, thereby making the controlled system live. It enables one to design two easy-to-implement control policies. The first one can guarantee that the controlled system is live, and the second one can also make the controlled system live if there is no SMS containing any control place in the controlled system. At last, a well-known FMS example is used to illustrate the proposed concept and policies.",

keywords = "Deadlock prevention, Petri nets, discrete-event systems (DES), flexible manufacturing systems (FMSs)",

author = "Liu, {Guan Jun} and Jiang, {Chang Jun} and Zhou, {Meng Chu}",

note = "Funding Information: Manuscript received November 28, 2009; revised February 21, 2010; accepted April 22, 2010. Date of publication June 01, 2010; date of current version October 06, 2010. This paper was recommended for publication by Associate Editor N. Wu and Editor Y. Narahari upon evaluation of the reviewers{\textquoteright} comments. This paper was supported in part by the National Natural Science Foundation of China under Grant 90818023 and Grant 90718012, in part by the National Basic Research Program of China under Grant 2010CB328100, in part by the National High Technology Research and Development Program of China under Grant 2009AA01Z401, in part by the Science and Technology Foundation of Shanghai under Grant 08JC1419300, and in part by the Ministry of Education of China under Grant IRT0744.",

year = "2010",

month = oct,

doi = "10.1109/TASE.2010.2050059",

language = "English (US)",

volume = "7",

pages = "945--957",

journal = "IEEE Transactions on Automation Science and Engineering",

issn = "1545-5955",

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

number = "4",

}

TY - JOUR

T1 - Two simple deadlock prevention policies for S3PR based on Key-resource/operation-place Pairs

AU - Liu, Guan Jun

AU - Jiang, Chang Jun

AU - Zhou, Meng Chu

N1 - Funding Information: Manuscript received November 28, 2009; revised February 21, 2010; accepted April 22, 2010. Date of publication June 01, 2010; date of current version October 06, 2010. This paper was recommended for publication by Associate Editor N. Wu and Editor Y. Narahari upon evaluation of the reviewers’ comments. This paper was supported in part by the National Natural Science Foundation of China under Grant 90818023 and Grant 90718012, in part by the National Basic Research Program of China under Grant 2010CB328100, in part by the National High Technology Research and Development Program of China under Grant 2009AA01Z401, in part by the Science and Technology Foundation of Shanghai under Grant 08JC1419300, and in part by the Ministry of Education of China under Grant IRT0744.

PY - 2010/10

Y1 - 2010/10

N2 - This paper proposes the concept of Key-resource/operation-place Pairs (KP) of S3PR (systems of simple sequential processes with resources). Based on KP, two policies are presented to prevent deadlocks in flexible manufacturing systems (FMS) that can be modeled by S3PR. The idea is to control some key resource places only to guarantee that all strict minimal siphons (SMS) never become empty, thereby making the controlled system live. It enables one to design two easy-to-implement control policies. The first one can guarantee that the controlled system is live, and the second one can also make the controlled system live if there is no SMS containing any control place in the controlled system. At last, a well-known FMS example is used to illustrate the proposed concept and policies.

AB - This paper proposes the concept of Key-resource/operation-place Pairs (KP) of S3PR (systems of simple sequential processes with resources). Based on KP, two policies are presented to prevent deadlocks in flexible manufacturing systems (FMS) that can be modeled by S3PR. The idea is to control some key resource places only to guarantee that all strict minimal siphons (SMS) never become empty, thereby making the controlled system live. It enables one to design two easy-to-implement control policies. The first one can guarantee that the controlled system is live, and the second one can also make the controlled system live if there is no SMS containing any control place in the controlled system. At last, a well-known FMS example is used to illustrate the proposed concept and policies.

KW - Deadlock prevention

KW - Petri nets

KW - discrete-event systems (DES)

KW - flexible manufacturing systems (FMSs)

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

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

U2 - 10.1109/TASE.2010.2050059

DO - 10.1109/TASE.2010.2050059

M3 - Article

AN - SCOPUS:77957763040

SN - 1545-5955

VL - 7

SP - 945

EP - 957

JO - IEEE Transactions on Automation Science and Engineering

JF - IEEE Transactions on Automation Science and Engineering

IS - 4

M1 - 5475322

ER -