Deadlock avoidance control for manufacturing systems with multiple capacity resources

International Journal of Advanced Manufacturing Technology

Volumn 14, Issue 10, 1998, Pages 729-736

  Ferrarini, L ^a   Maroni, M ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

Control system; Deadlock avoidance; Flexible manufacturing system; Petri nets

Indexed keywords

AUTOMATION; COMPUTER AIDED MANUFACTURING; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; JUST IN TIME PRODUCTION; PETRI NETS; PROCESS CONTROL; RESOURCE ALLOCATION; SCHEDULING;

DEADLOCK AVOIDANCE POLICY;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0032306195     PISSN: 02683768     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01438225     Document Type: Article

References (18)

1. Z. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows", IEEE Transactions in Robotics and Automation, 6(6), pp. 724-734, 1990.
2. C. C. Lee and J. T. Lin, "Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems", International Journal of Production Research, 33(12), p. 3249, 1995.
3. N. Viswanadham, Y. Narahari and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models", IEEE Transactions on Robotics and Automation, 6(6), p. 713, 1990.
4. th IFAC World Congress, San Francisco, p. 507, 1996.
5. D. Y. Lee and F. DiCesare, "Scheduling flexible manufacturing systems using Petri nets and heuristic search", IEEE Transactions on Robotics and Automation, 10(2), p. 123, 1994.
6. N. N. Ivanov, "Algebraic method of determining nonexistence of deadlock markings in Petri nets", Automation and Remote Control, 52(7), p. 986, 1991.
7. T. Minoura and C. Ding, "A deadlock prevention method for a sequence controller for manufacturing control", International Journal of Robotics and Automation, 6(3), p. 149, 1991.
8. M. C. Zhou, F. DiCesare and R. Rudolph, "Design and implementation of a Petri nets based supervisor for a flexible manufacturing systems", IFAC Journal Automatica, 28(6), pp. 1199-1208, 1992.
9. Leung Ying Tat and Sheen Gwo-Ji, "Resolving deadlocks in flexible manufacturing cells", Journal of Manufacturing Systems, 12(4), p. 291, 1993.
10. Richard A. Wysk, Yang Neng-Shu and Joshi Sanjay, "Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches", Journal of Manufacturing Systems, 13(2), p. 128, 1994.
11. J. Epzeleta, J.-M. Colom and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems", IEEE Transactions on Robotics and Automation 1995, 11(2), p. 173, 1995.
12. F.-S. Hsieh and S.-C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems", IEEE Transactions on Robotics and Automation, 10(2), p. 196, 1994.
13. T. Masumoto and S. Yamazaki, "Necessary and sufficient condition of structural liveness for general Petri nets with globally structural live minimal deadlocks", IEICE Transactions Fundamentals, E78-A(12), p. 1875, 1995.
14. K.-Y. Xing, B.-S. Hu and H.-X. Chen, "Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources", IEEE Transactions on Automatic Control, 41(2), p. 289, 1996.
15. H. Tamaki, S. Mukumoto, Y. Nishikawa and M. Araki, "Simulation-based scheduling package: models and solutions", Proceedings, IEEE International Conference Industrial Electronics (IECON '94), Bologna, Italy, pp. 1521-1526, September 1994.
16. L. Ferrarini and M. Araki, "On deadlock occurrence in manufacturing systems", Proceedings, INRIA/IEEE Conference on Emerging Technology and Factory Automation (ETFA '95), Paris, France, Vol. 3, pp. 141-152, October 1995.
17. M. Maroni, "Deadlock avoidance control for manufacturing systems with multiple capacity resources", Internal Report 97-051, Dip. Di Elettroni e Informazione, Politecnico di Milano, 1997.
18. S. E. Ramaswamy and S. B. Joshi, "Deadlock-free schedules for automated manufacturing workstations", IEEE Transactions on Robotics and Automation, 12(3), p. 391, 1996.