Deadlock avoidance for sequential resource allocation systems: Hard and easy cases

International Journal of Flexible Manufacturing Systems

Volumn 13, Issue 4, 2001, Pages 385-404

  Lawley, Mark ^a   Reveliotis, Spyros ^b  

^a SCHOOL OF INDUSTRIAL ENGINEERING   (United States)

^b Georgia Institute of Technology   (United States)

Author keywords

Deadlock avoidance; Discrete event system; Flexible manufacturing

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATABASE SYSTEMS; REAL TIME SYSTEMS; RESOURCE ALLOCATION;

DISCRETE EVENT SYSTEMS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0035481906     PISSN: 09206299     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1012203214611     Document Type: Article

References (24)

1. Complexity of the deadlock avoidance problems
2. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows
3. Deadlock avoidance in pipeline concurrent processes
4. Event-based feedback control for deadlock avoidance in flexible production systems
5. Event control for deadlock avoidance in production systems with multiple capacity resources
6. Deadlock prediction: Easy and difficult cases
7. Prevention of system deadlocks
8. Some deadlock properties of computer systems
9. Dispatching driven deadlock avoidance controller synthesis for flexible manufacturing systems
10. Scalable and maximally permissive deadlock avoidance for FMS
11. Deadlock avoidance for production systems with flexible routing
12. FMS structural control and the neighborhood policy: Parts 1 and 2
13. Application and evaluation of banker's algorithm for deadlock-free buffer space allocation in flexible manufacturing systems
14. A correct and scalable deadlock avoidance policy for flexible manufacturing systems
15. Resolving deadlocks in flexible manufacturing cells
16. Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
17. Modeling reentrant manufacturing systems with inspection stations
18. Polynomial complexity deadlock avoidance policies for sequential resource allocation systems
19. Minimal restrictive deadlock avoidance in FMSs
20. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using petri nets
21. Detection of deadlocks in flexible manufacturing cells
22. Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources