A deadlock prevention policy for flexible manufacturing systems using siphons

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 1, Issue , 2001, Pages 541-546

  Huang, Yi Sheng ^a   Jeng, Mu Der ^b   Xie, Xiao Lan ^c   Chung, Sheng Luen ^d  

^a Fu Shin Institute of Technology   (Taiwan)

^b NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

^c UNIVERSITÉ DE LORRAINE   (France)

^d NATIONAL TAIWAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; ITERATIVE METHODS; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING; SIPHONS;

DEADLOCK PREVENTION ALGORITHMS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0034876411     PISSN: 10504729     EISSN: None     Source Type: Journal    
DOI: 10.1109/ROBOT.2001.932606     Document Type: Article

References (12)

1. Deadlock avoidance in FMS based on structural therory of Petri nets
2. Deadlock analysis of Petri nets using siphons and mathematical programming
3. Event-based feedback control for deadlock avoidance in flexible production systems
4. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems
5. A deadlock prevention policy based on Petri nets and siphons
6. A Petri net based deadlock prevention policy for flexible manufacturing systems
7. Petri nets for modeling automated manufacturing systems with error recovery
8. An algorithm for calculating minimal siphons and traps of Petri nets
9. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems
10. Petri nets: Properties, analysis and application
11. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models