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

DOI10.1080/00207540110073037zbMath1175.90102MaRDI 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

90B10: Deterministic network models in operations research

90B20: Traffic problems in operations research

Related Items

Route planning for automated guided vehicles in a manufacturing facility, 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, Deadlock handling for real-time control of AGVs at automated container terminals, Survey of research in the design and control of automated guided vehicle systems, Decomposition of Petri nets and Lagrangian relaxation for solving routing problems for AGVs, Coloured timed Petri net model for real-time control of automated guided vehicle systems

Cites Work

• 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
• Unnamed Item