Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model
From MaRDI portal
Publication:4443374
DOI10.1080/00207540110073037zbMath1175.90102MaRDI QIDQ4443374
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
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