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

International Journal of Production Research

Volumn 40, Issue 1, 2002, Pages 223-238

  Wu, Naiqi ^a   Zeng, Wenqu ^a  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CRITICAL PATH ANALYSIS; MATERIALS HANDLING; OPERATIONS RESEARCH; PETRI NETS;

AUTOMATED GUIDANCE VEHICLE SYSTEM; COLOURED PETRI NET MODEL; DEADLOCK AVOIDANCE;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0037050370     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207540110073037     Document Type: Article

References (32)

1. Modeling and validation of complex systems by coloured Petri nets: Application to an FMS
2. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows
3. Models for simulation and discrete control of manufacturing systems
4. A Petri net based deadlock prevention policy for flexible manufacturing systems
5. Event-based feedback control for deadlock avoidance in flexible production systems
6. Coloured Petri nets and the invariant method
7. Application of Petri net based model in the modeling and analysis of flexible manufacturing systems
8. Conflict-free shortest bi-directional AGV routing
9. Automatic guided vehicle: Application, control, and planning
10. Deadlock avoidance for production systems with flexible routing
11. Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems
12. Resolving deadlocks in flexible manufacturing cells
13. A model for the design of zone-control automated guided vehicle systems
14. Petri nets: Properties, analysis, and application
15. A Petri net approach to modeling and analysis of FMS
16. Conflict resolution in AGV systems
17. Deadlock avoidance policy for automated manufacturing cells
18. Polynomial complexity deadlock avoidance policies for sequential resource allocation systems
19. Coloured Petri net models for automated manufacturing systems
20. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models
21. Avoiding deadlocks in automated manufacturing systems with shared resources
22. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model
23. Resource-oriented Petri nets for deadlock avoidance in automated manufacturing
24. Detection of deadlocks in flexible manufacturing cells
25. Deadlock avoidance policy for Petri net modeling flexible manufacturing system with shared resources
26. Deadlock prediction and avoidance for zone-control AGVS
27. Conflict detection of automated guided vehicles: A Petri net approach
28. A Petri net design method for automated manufacturing systems with shared resources
29. Parallel and sequential exclusions for Petri net modeling of manufacturing systems with shared resources
30. Hybrid methodology for synthesis of Petri nets models for manufacturing systems