Resource-oriented Petri nets in deadlock avoidance of AGV systems

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 1, Issue , 2001, Pages 64-69

  Wu, N ^a   Zhou, M ^a  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER SYSTEM RECOVERY; ELECTRONIC GUIDANCE SYSTEMS; PETRI NETS; PROBLEM SOLVING;

AUTOMATED GUIDED VEHICLES (AGV);

UNMANNED VEHICLES;

EID: 0034867478     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Synthesis using resource control nets for modeling shared resource systems
2. Hybrid methodology for synthesis of Petri nets models for manufacturing systems
3. Detection of deadlocks in flexible manufacturing cells
4. Resolving deadlocks in flexible manufacturing cells
5. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows
6. Minimal restrictive deadlock avoidance in FMS
7. Event-based feedback control for deadlock avoidance in flexible production systems
8. Deadlock avoidance for production systems with flexible routing
9. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models
10. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model
11. Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources
12. Deadlock avoidance policies in automated manufacturing cells
13. A model for the design of zone-control automated guided vehicle systems
14. Conflict detection of automated guided vehicles: A Petri net approach
15. Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems
16. Deadlock prediction and avoidance for zone-control AGVS
17. Tandem AGV systems: A partitioning algorithm and performance comparison with conventional AGV systems
18. An introduction to the segmented flow approach for discrete material flow systems
19. Colored Petri net models for automated manufacturing systems