Modeling and deadlock control of automated guided vehicle systems

Naiqi Wu; Meng Chu Zhou

doi:10.1109/TMECH.2004.823875

Modeling and deadlock control of automated guided vehicle systems

Naiqi Wu, Meng Chu Zhou

Electrical and Computer Engineering

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

122 Scopus citations

Abstract

This paper presents a colored resource-oriented Petri net (CROPN) modeling method to deal with conflict and deadlock arising in automated guided vehicles (AGV) systems. It can handle both bidirectional and unidirectional paths. The former offer additional flexibility, efficiency, and cost saving when compared with the latter. Yet, they exhibit more challenging AGV management problems. Unlike jobs that can enter and leave automated manufacturing systems, AGVs always stay in the system. By modeling nodes with places and lanes with transitions, the proposed method can construct CROPN models for changing AGV routes. A control policy suitable for real-time implementation is presented.

Original language	English (US)
Pages (from-to)	50-57
Number of pages	8
Journal	IEEE/ASME Transactions on Mechatronics
Volume	9
Issue number	1
DOIs	https://doi.org/10.1109/TMECH.2004.823875
State	Published - Mar 2004

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Computer Science Applications
Electrical and Electronic Engineering

Keywords

Automated guided vehicle (AGV) systems
Deadlock avoidance
Modeling
Petri nets (PNs)

Access to Document

10.1109/TMECH.2004.823875

Cite this

@article{634bec5020b44082947829b2555278ed,

title = "Modeling and deadlock control of automated guided vehicle systems",

abstract = "This paper presents a colored resource-oriented Petri net (CROPN) modeling method to deal with conflict and deadlock arising in automated guided vehicles (AGV) systems. It can handle both bidirectional and unidirectional paths. The former offer additional flexibility, efficiency, and cost saving when compared with the latter. Yet, they exhibit more challenging AGV management problems. Unlike jobs that can enter and leave automated manufacturing systems, AGVs always stay in the system. By modeling nodes with places and lanes with transitions, the proposed method can construct CROPN models for changing AGV routes. A control policy suitable for real-time implementation is presented.",

keywords = "Automated guided vehicle (AGV) systems, Deadlock avoidance, Modeling, Petri nets (PNs)",

author = "Naiqi Wu and Zhou, {Meng Chu}",

note = "Funding Information: Manuscript received October 9, 2001; revised January 9, 2003. This work was supported in part by the Chinese National Science Foundation under Grant 69974011 and in part by the National Outstanding Young Scientist Research Awards under Grant 60228004.",

year = "2004",

month = mar,

doi = "10.1109/TMECH.2004.823875",

language = "English (US)",

volume = "9",

pages = "50--57",

journal = "IEEE/ASME Transactions on Mechatronics",

issn = "1083-4435",

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

number = "1",

}

TY - JOUR

T1 - Modeling and deadlock control of automated guided vehicle systems

AU - Wu, Naiqi

AU - Zhou, Meng Chu

N1 - Funding Information: Manuscript received October 9, 2001; revised January 9, 2003. This work was supported in part by the Chinese National Science Foundation under Grant 69974011 and in part by the National Outstanding Young Scientist Research Awards under Grant 60228004.

PY - 2004/3

Y1 - 2004/3

N2 - This paper presents a colored resource-oriented Petri net (CROPN) modeling method to deal with conflict and deadlock arising in automated guided vehicles (AGV) systems. It can handle both bidirectional and unidirectional paths. The former offer additional flexibility, efficiency, and cost saving when compared with the latter. Yet, they exhibit more challenging AGV management problems. Unlike jobs that can enter and leave automated manufacturing systems, AGVs always stay in the system. By modeling nodes with places and lanes with transitions, the proposed method can construct CROPN models for changing AGV routes. A control policy suitable for real-time implementation is presented.

AB - This paper presents a colored resource-oriented Petri net (CROPN) modeling method to deal with conflict and deadlock arising in automated guided vehicles (AGV) systems. It can handle both bidirectional and unidirectional paths. The former offer additional flexibility, efficiency, and cost saving when compared with the latter. Yet, they exhibit more challenging AGV management problems. Unlike jobs that can enter and leave automated manufacturing systems, AGVs always stay in the system. By modeling nodes with places and lanes with transitions, the proposed method can construct CROPN models for changing AGV routes. A control policy suitable for real-time implementation is presented.

KW - Automated guided vehicle (AGV) systems

KW - Deadlock avoidance

KW - Modeling

KW - Petri nets (PNs)

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

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

U2 - 10.1109/TMECH.2004.823875

DO - 10.1109/TMECH.2004.823875

M3 - Article

AN - SCOPUS:1942518458

SN - 1083-4435

VL - 9

SP - 50

EP - 57

JO - IEEE/ASME Transactions on Mechatronics

JF - IEEE/ASME Transactions on Mechatronics

IS - 1

ER -

Modeling and deadlock control of automated guided vehicle systems

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this