Iterative deadlock control by using petri nets

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

Research output: Contribution to journalArticle

12 Citations (Scopus)

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 languageEnglish (US)
Article number6185690
Pages (from-to)1204-1218
Number of pages15
JournalIEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews
Volume42
Issue number6
DOIs
StatePublished - Apr 24 2012

Fingerprint

Petri nets
Flexible manufacturing systems
Discrete event simulation
Resource allocation
Large scale systems
Costs

All Science Journal Classification (ASJC) codes

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

Keywords

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

Cite this

Wang, An Rong ; Li, Zhi Wu ; Zhou, Mengchu ; Al-Ahmari, Abdulrahman M. / Iterative deadlock control by using petri nets. In: IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews. 2012 ; Vol. 42, No. 6. pp. 1204-1218.
@article{ee6e652e319c4909b4c6a72598e55b62,
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 Mengchu Zhou and Al-Ahmari, {Abdulrahman M.}",
year = "2012",
month = "4",
day = "24",
doi = "https://doi.org/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",

}

Iterative deadlock control by using petri nets. / Wang, An Rong; Li, Zhi Wu; Zhou, Mengchu; Al-Ahmari, Abdulrahman M.

In: IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews, Vol. 42, No. 6, 6185690, 24.04.2012, p. 1204-1218.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Iterative deadlock control by using petri nets

AU - Wang, An Rong

AU - Li, Zhi Wu

AU - Zhou, Mengchu

AU - Al-Ahmari, Abdulrahman M.

PY - 2012/4/24

Y1 - 2012/4/24

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 - https://doi.org/10.1109/TSMCC.2012.2189385

DO - https://doi.org/10.1109/TSMCC.2012.2189385

M3 - Article

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

SN - 1094-6977

IS - 6

M1 - 6185690

ER -