Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model

DOI10.1080/00207540110073037zbMath1175.90102OpenAlexW2109417943MaRDI QIDQ4443374

Wenqu Zeng, NaiQi Wu

Publication date: 11 January 2004

Published in: International Journal of Production Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207540110073037

Mathematics Subject Classification ID

Deterministic network models in operations research (90B10) Traffic problems in operations research (90B20)

Related Items (7)

Coloured timed Petri net model for real-time control of automated guided vehicle systems ⋮ Deadlock handling for real-time control of AGVs at automated container terminals ⋮ Decomposition of Petri nets and Lagrangian relaxation for solving routing problems for AGVs ⋮ A novel method for deadlock prevention of AMS by using resource-oriented Petri nets ⋮ Petri net representation and reachability analysis of 0--1 integer linear programming problems ⋮ Route planning for automated guided vehicles in a manufacturing facility ⋮ Survey of research in the design and control of automated guided vehicle systems

Cites Work

• Unnamed Item
• Coloured Petri nets and the invariant-method
• Conflict-free shortest-time bidirectional AGV routeing
• Deadlock prediction and avoidance for zone-control AGVS
• Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
• Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems

This page was built for publication: Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model