DOI QR코드

DOI QR Code

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

행렬을 이용한 FMS에서의 교착상태 탐지 및 회피 알고리즘에 대한 연구

  • Published : 2005.04.01

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

References

  1. J. C. Corbett 'Evaluating deadlock detection methods for concurrent software,' IEEE tr. Software Engineering, vol. 22(3), 1996 https://doi.org/10.1109/32.489078
  2. 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 https://doi.org/10.1109/70.370500
  3. 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 https://doi.org/10.1109/ICSMC.1999.814207
  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 https://doi.org/10.1109/ICSMC.1997.633255
  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 https://doi.org/10.1109/70.650158
  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 https://doi.org/10.1109/5.24143
  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 https://doi.org/10.1109/ROBOT.1997.614256
  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. M. A. Lawley, 'Deadlock avoidance for production system with flexible routing,' IEEE tr. Robotics and Automation, vol. 15, no. 3, pp.497-509, 1999 https://doi.org/10.1109/70.768182
  11. 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 https://doi.org/10.1109/70.585898
  12. 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 https://doi.org/10.1109/9.956052