An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions

International Journal of Advanced Manufacturing Technology

Volumn 19, Issue 3, 2002, Pages 192-208

  Uzam, M ^a  

^a NIGDE UNIVERSITY   (Turkey)

Author keywords

Deadlock; Flexible manufacturing systems (FMS); Optimal deadlock prevention; Petri net synthesis; Petri nets; Shared resources

Indexed keywords

ALGORITHMS; GRAPH THEORY; PETRI NETS; ROBOTS;

PETRI NET MODELS (PNM);

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0036212723     PISSN: 02683768     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001700200014     Document Type: Article

References (41)

1. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models
2. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows
3. Resolving deadlocks in flexible manufacturing cells
4. Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches
5. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems
6. A Petri net based deadlock prevention policy for flexible manufacturing systems
7. Graph-theoretic dead-lock detection and resolution for flexible manufacturing systems
8. Deadlock avoidance policy for flexible manufacturing systems
9. Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources
10. Event-based feedback control for deadlock avoidance in flexible production systems
11. Design guidelines for deadlock handling strategies in flexible manufacturing systems
12. Avoidance of deadlocks in flexible manufacturing systems using a capacity designated directed graph
13. A structural approach to the problem of deadlock prevention in processes with resources
14. A correct and scalable deadlock avoidance policy for flexible manufacturing systems
15. Deadlock prevention and avoidance in FMS: A Petri net based approach
16. Deadlock avoidance control for manufacturing systems with multiple capacity resources
17. Deadlock avoidance for production systems with flexible routing
18. A structural approach to the problem of deadlock prevention in processes with resources
19. Deadlock-free schedules for automated manufacturing workstations
20. Deadlock issues in supervisory control of discrete event systems
21. Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
22. A technique for state space search based on unfolding
23. An improvement of McMillan's unfolding algorithm
24. Verification and optimization of control programs by Petri nets without state explosion
25. Deadlock prevention using Petri nets and their unfoldings
26. Petri nets: Properties, analysis and application
27. Theory of Regions
28. Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A petri net approach
29. Partial (set) 2-structures; Part I: Basic notions and the representation problem
30. Partial (set) 2-structures; Part II: State space of concurrent systems
31. Polynomial algorithms for the synthesis of bounded nets
32. On the synthesis of general Petri nets
33. Synthesis using resource control nets for modeling shared-resource systems
34. A general methodology for converting Petri nets into ladder logic: The TPLL methodology
35. Design of a discrete event control system for a manufacturing system using token passing ladder logic