Browse > Article
http://dx.doi.org/10.5302/J.ICROS.2005.11.4.344

The Study on the Deadlock Detection and Avoidance Algorithm Using Matrix in FMS  

Lee Jong-Kun (창원대학교 컴퓨터공학과)
Song Yu-Jin (창원대학교 컴퓨터공학과)
Publication Information
Journal of Institute of Control, Robotics and Systems / v.11, no.4, 2005 , pp. 344-352 More about this Journal
Abstract
The modem production systems are required to produce many items. This is due to the fact that society has become more complex and the customers' demands have become more varied. The demand for complex production systems of various purposes, which can flexibly change the content of work, has increased. One of such production systems is FMS (Flexible Manufacturing System). Limited resources must be used in FMS when a number of working procedures are simultaneously being undertaken because the conditions of stand-by job processes cannot be changed. Researchers are currently being conducted to determine ways of preventing deadlocks. In this study, we proposes the algorithm for detection and recovery of a deadlock status using the DDAPN(Deadlock Detection Avoidance Petri Net). Also, we apply the proposed algorithm has a feature to the FMS.
Keywords
DDAPN; FMS; deadlock; detection; avoidance; matrix; petri net; resource share place; algorithm;
Citations & Related Records
연도 인용수 순위
  • Reference
1 P. Jonghun and A. Spyros R. 'Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings,' IEEE tr. Automatic Control. vol. 46, no. 10, pp.1572-1583, 2001   DOI   ScienceOn
2 M. A. Lawley, 'Deadlock avoidance for production system with flexible routing,' IEEE tr. Robotics and Automation, vol. 15, no. 3, pp.497-509, 1999   DOI   ScienceOn
3 M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, 'Event-based feedback control for deadlock avoidance in flexible production systems,' IEEE tr. Robotics and Automation, vol. 13, no. 3, pp. 347-363, 1997   DOI   ScienceOn
4 L. Ferrarini and M. Maroni, 'A control algorithm for deadlock-free schedulings of manufacturing systems,' IEEE Conf. on Systems, Man and Cybernetics, 3762-3767, 1997   DOI
5 Chu. Feng and X. Xiao-Lan 'Deadlock analysis of petri nets using siphons and mathmatical programming,' IEEE tr. Robotics and Automation, vol. 13. no. 6. 1997   DOI   ScienceOn
6 S. Melzer and S. Romer 'Deadlock checking using net unfoldings,' In Proc. of the Conf. on Computer-Aided Verfication, CAV'97, 1997
7 T. Murata, 'Petri Nets: Properties, Analysis and Application,' In Proceedings of the IEEE, Vol. 77, No. 4, 1989   DOI   ScienceOn
8 H. H. Xiong and M. C. Zhou 'Deadlock free scheduling of an automated manufacturing system based on petri nets,' In IEEE ICRA '97,945-950, 1997   DOI
9 H. Yoon and D. Lee, 'Deadlock-free scheduling for automated manufacturing cells,' Proceeding of International Conference on Control, Automation Robotics and Vision, 2000
10 J. C. Corbett 'Evaluating deadlock detection methods for concurrent software,' IEEE tr. Software Engineering, vol. 22(3), 1996   DOI   ScienceOn
11 J. Ezpleta, J. M. Colom And Martinez J., 'A petri net based on deadlock prevention policy for flexible manufacturing systems,' IEEE tr. Robotics and Automation, vol. 11. no. 2, 173-184, 1995   DOI   ScienceOn
12 B. C. Damasceno and X. Xie 'Petri nets and deadlock-free scheduling of multiple-resource operations,' IEEE Conf. on Systems, Man and Cybernetics, 878-883, 1999   DOI