DOI QR코드

DOI QR Code

Synthesis of Deadlock-Free Ladder Diagrams for PLCs Based on Deadlock Detection and.Recovery (DDR) Algorithm

DDR 알고리즘에 기반한 교착상태배제 래더 다이어그램 설계

  • Cha, Jong-Ho (Dept.of Electric Electronics Information System Engineering, University of Ulsan) ;
  • Cho, Kwang-Hyun (Dept.of Electric Electronics Information System Engineering, University of Ulsan)
  • 차종호 (울산대학교 전기전자정보시스템 공학부) ;
  • 조광현 (울산대학교 전기전자정보시스템 공학부)
  • Published : 2002.08.01

Abstract

In general, a deadlock in flexible manufacturing systems (FMSs) is caused by a resource limitation and the diversity of routings. However, the deadlock of industrial controllers such as programmable logic controllers (PLCs) can occur from different causes compared with those in general FMSs. The deadlock of PLCs is usually caused by an error signal between PLCs and manufacturing systems. In this paper, we propose a deadlock detection and recovery (DDR) algorithm to resolve the deadlock problem of PLCs at design stage. This paper employs the MAPN (modified automation Petri net), MTPL (modified token passing logic), and ECC (efficient code conversion) algorithm to model manufacturing systems and to convert a Petri net model into a desired LD (ladder diagram). Finally, an example of manufacturing systems is provided to illustrate the proposed DDR algorithm.

Keywords

References

  1. R. A. Wysk, N. S. Yang, and S. Joshi, 'Detection of deadlocks in flexible manufacturing cells,' IEEE Trans. on Robotics and Automation, vol. 7, no. 6, pp. 853-859, 1991 https://doi.org/10.1109/70.105378
  2. H. Cho, T. K. Kumaran, and R. A. Wysk, 'Graph-theoretic deadlock detection and resolution for flexible manu-facturing systems,' IEEE Trans. on Robotics and Auto-mation, vol. 11, no. 3, pp. 413-421, 1995 https://doi.org/10.1109/70.388784
  3. J. Ezpeleta and J. M. Colom, 'Automatic synthesis of colored Petri nets for the control of FMS,' IEEE Trans. on Robotics and Automation, vol. 13, no. 3, pp. 327-337, 1997 https://doi.org/10.1109/70.585896
  4. J. W. Choi and J. W. Choi, 'An efficient algorithm for control action sequences in FMS using dynamic programming,' Proc. of the 39th SICE Annual Conference, Lizuka, Japan, pp. 221-224, Oct 2000 https://doi.org/10.1109/SICE.2000.889683
  5. R. P. Judd, Z. Wenle, P. Deering, and R. Lipset, 'A scalable deadlock avoidance algorithm for flexible manufacturing systems with free choice in part routing,' Proc. of American Control Conference, Chicago, U.S.A., vol. 5, pp. 3545-3549, June 2000 https://doi.org/10.1109/ACC.2000.879229
  6. A. Yalcin and T. O. Boucher, 'Deadlock avoidance in flexible manufacturing systems using finite automata,' IEEE Trans. on Robotics and Automation, vol. 16, no. 4, pp. 424-429, 2000 https://doi.org/10.1109/70.864237
  7. 최재원, 이만형, 김성권, '유연 생산 시스템의 생산성 향상을 위한 공유 자원 수의 증가 및 교착 상태회피기법 비교,' 한국자동제어학술회의논문집, pp. 221-224, vol. 2, 1999
  8. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, 'A method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets,' Proc. of the American Control Conference, Chicago, U.S.A., vol. 5, pp. 3167-3171, June 2000 https://doi.org/10.1109/ACC.2000.879149
  9. M. Uzam, A. H. Jones, and I. Yucel, 'Using a Petri-net-based approach for the real-time supervisory control of experimental manufacturing system,' Inter-national Journal of Advanced manufacturing Technology, vol. 16, pp. 498-515, July 2000 https://doi.org/10.1007/s001700070058
  10. 차종호, 조광현, '효율적 코드변환 알고리즘에 기 반한 PLC의 체계적 설계,' 제어.자동화.시스템공학 논문지, 제 7권, 제 12호, pp. 1009-1014, Dec., 2001