Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems

Naiqi Wu; Mengchu Zhou

doi:10.1109/70.964666

Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems

Naiqi Wu, Mengchu Zhou

Electrical and Computer Engineering

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

216 Scopus citations

Abstract

Deadlock-free operations of automated manufacturing systems (AMS) are essential for high machine utilization and productivity. Based on resource-oriented Petri net models of AMS and our previous work on a necessary and sufficient condition for deadlock-free operation, this paper proposes a new control policy such that it can avoid deadlock completely, and reduce starvation and blocking situations significantly. It attempts to release an appropriate number of jobs into the system and control the order of resource usage based on state information in the net model. The theoretical results for the correctness of this policy are presented. An AMS allowing routing flexibility and varying operation times is used to demonstrate the potential of the proposed policy.

Original language	English (US)
Pages (from-to)	658-669
Number of pages	12
Journal	IEEE Transactions on Robotics and Automation
Volume	17
Issue number	5
DOIs	https://doi.org/10.1109/70.964666
State	Published - Oct 2001

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Electrical and Electronic Engineering

Keywords

Automated manufacturing systems (AMS)
Colored Petri nets
Deadlock avoidance
Petri nets

Access to Document

10.1109/70.964666

Cite this

@article{1bb3ade405cf4b0bbfc9836569743574,

title = "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems",

abstract = "Deadlock-free operations of automated manufacturing systems (AMS) are essential for high machine utilization and productivity. Based on resource-oriented Petri net models of AMS and our previous work on a necessary and sufficient condition for deadlock-free operation, this paper proposes a new control policy such that it can avoid deadlock completely, and reduce starvation and blocking situations significantly. It attempts to release an appropriate number of jobs into the system and control the order of resource usage based on state information in the net model. The theoretical results for the correctness of this policy are presented. An AMS allowing routing flexibility and varying operation times is used to demonstrate the potential of the proposed policy.",

keywords = "Automated manufacturing systems (AMS), Colored Petri nets, Deadlock avoidance, Petri nets",

author = "Naiqi Wu and Mengchu Zhou",

note = "Funding Information: Manuscript received May 16, 2000; revised December 4, 2000 and May 27, 2001. This paper was recommended for publication by Associate Editor Y. Nara-hari and N. Viswanadham upon evaluation of the reviewers{\textquoteright} comments. This work was supported in part by the Chinese NSF under Grant 69974011 and New Jersey State Commission on Science and Technology. An early version of this work was presented at 2000 IEEE Int. Conf. on Robotics and Automation, San Francisco, CA, April 2000.",

year = "2001",

month = oct,

doi = "10.1109/70.964666",

language = "English (US)",

volume = "17",

pages = "658--669",

journal = "IEEE Transactions on Robotics and Automation",

issn = "1042-296X",

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

number = "5",

}

TY - JOUR

T1 - Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems

AU - Wu, Naiqi

AU - Zhou, Mengchu

N1 - Funding Information: Manuscript received May 16, 2000; revised December 4, 2000 and May 27, 2001. This paper was recommended for publication by Associate Editor Y. Nara-hari and N. Viswanadham upon evaluation of the reviewers’ comments. This work was supported in part by the Chinese NSF under Grant 69974011 and New Jersey State Commission on Science and Technology. An early version of this work was presented at 2000 IEEE Int. Conf. on Robotics and Automation, San Francisco, CA, April 2000.

PY - 2001/10

Y1 - 2001/10

N2 - Deadlock-free operations of automated manufacturing systems (AMS) are essential for high machine utilization and productivity. Based on resource-oriented Petri net models of AMS and our previous work on a necessary and sufficient condition for deadlock-free operation, this paper proposes a new control policy such that it can avoid deadlock completely, and reduce starvation and blocking situations significantly. It attempts to release an appropriate number of jobs into the system and control the order of resource usage based on state information in the net model. The theoretical results for the correctness of this policy are presented. An AMS allowing routing flexibility and varying operation times is used to demonstrate the potential of the proposed policy.

AB - Deadlock-free operations of automated manufacturing systems (AMS) are essential for high machine utilization and productivity. Based on resource-oriented Petri net models of AMS and our previous work on a necessary and sufficient condition for deadlock-free operation, this paper proposes a new control policy such that it can avoid deadlock completely, and reduce starvation and blocking situations significantly. It attempts to release an appropriate number of jobs into the system and control the order of resource usage based on state information in the net model. The theoretical results for the correctness of this policy are presented. An AMS allowing routing flexibility and varying operation times is used to demonstrate the potential of the proposed policy.

KW - Automated manufacturing systems (AMS)

KW - Colored Petri nets

KW - Deadlock avoidance

KW - Petri nets

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

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

U2 - 10.1109/70.964666

DO - 10.1109/70.964666

M3 - Article

AN - SCOPUS:0035485815

SN - 1042-296X

VL - 17

SP - 658

EP - 669

JO - IEEE Transactions on Robotics and Automation

JF - IEEE Transactions on Robotics and Automation

IS - 5

ER -

Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this