Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems

IEEE Transactions on Robotics and Automation

Volumn 17, Issue 5, 2001, Pages 658-669

  Wu, Naiqi ^b   Zhou, Mengchu ^a,c  

^a IEEE   (United States)

^b GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Automated manufacturing systems (AMS); Colored Petri nets; Deadlock avoidance; Petri nets

Indexed keywords

AUTOMATED MANUFACTURING SYSTEMS; COLORED PETRI NETS; DEADLOCK AVOIDANCE;

COMPUTER SIMULATION; MACHINERY; MATERIALS HANDLING EQUIPMENT; PETRI NETS; PROCESS CONTROL; RESOURCE ALLOCATION; SCHEDULING;

COMPUTER AIDED MANUFACTURING;

EID: 0035485815     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.964666     Document Type: Article

References (36)

1. Modeling and validation of complex systems by colored Petri nets: Application to a flexible manufacturing system
2. A Petri net approach to modeling and analysis of FMS
3. Models for simulation and discrete control of manufacturing systems
4. Application of Petri net based model in the modeling and analysis of flexible manufacturing systems
5. A Petri net design method for automated manufacturing systems with shared resources
6. Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources
7. A hybrid methodology for synthesis of Petri nets for manufacturing systems
8. A Petri net based deadlock prevention policy for flexible manufacturing systems
9. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models
10. Detection of deadlocks in flexible manufacturing cells
11. Detection of ada static deadlocks using Petri net invariants
12. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows
13. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems
14. An effective real-time deadlock-free control for automated manufacturing systems
15. Deadlock avoidance policies for automated manufacturing cells
16. Event-based feedback control for deadlock avoidance in flexible production systems
17. Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources
18. A correct and scalable deadlock avoidance policy for flexible manufacturing systems
19. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model
20. Avoiding deadlocks in automated manufacturing systems with shared material handling system
21. Deadlock-free schedules for automated manufacturing workstations
22. Petri nets: Properties, analysis and applications
23. Performance evaluation of job-shop systems using timed event-graph
24. Optimization of invariant criteria for event graphs
25. Colored Petri nets and the invariant method
26. Colored Petri net models for automated manufacturing systems
27. Scheduling FMS using Petri nets and heuristic search
28. A Petri net method for deadlock-free scheduling of flexible manufacturing systems
29. Resource-oriented Petri Nets for deadlock avoidance in automated manufacturing
30. Minimal restrictive deadlock avoidance in FMS
31. A matrix formulation for design and analysis of discrete event manufacturing systems with shared resources
32. Workshop scheduling using practical data-Part 1: The performance of heuristics rules in a dynamic job shop environment using a rolling time horizon approach
33. Reducing total tardiness cost in manufacturing cell scheduling by a multi-factor priority rule
34. Adaptive scheduling in dynamic flexible manufacturing systems: A dynamic rule selection approach
35. Decomposition heuristics for robust job-shop scheduling