Journal of the Korea Society for Simulation (한국시뮬레이션학회논문지)

The Korea Society for Simulation (한국시뮬레이션학회)
권호 표지
DOI QR코드

DOI QR Code

A Policy to Find All Siphons using Transitive Matrix

추이적 행렬을 이용한 사이폰 감지 정책

  • 김외영 (창원대학교 컴퓨터공학과) ;
  • 이종근 (창원대학교 컴퓨터공학과)
  • Received : 2010.07.21
  • Accepted : 2010.12.10
  • Published : 2010.12.31
Download PDF
⟨ Previous Next ⟩

Abstract

Deadlock usually appears in contain subsystem which is run in parallel and resources share modules. Siphons and traps have been well introduced to characterize deadlocks of Petri nets. Siphon concept be well used for proposing the detect and prevent deadlock by the pleasure researchers. But it's need many times and efforts to detect all siphon sub-nets in the Petri model. Since transitive matrix could explain all relations between the place and transitions in Petri nets, we propose an algorithm to detect all siphon sub-nets after analyzed the transitive matrix's properties. Examples are givens to illustrate the method.

교착이란 일반적으로 병행과 자원공유 모듈에 의한 서브 시스템에서 발생한다. 사이폰과 트랩은 패트리 넷의 교착 상태를 잘 나타낸다. 사이폰은 많은 연구자들에게 교착을 감지하고 방지하는데 사용되어진 개념이다. 그러나 모든 사이폰 서브넷을 감지하는데는 많은 시간과 노력이 필요하다. 추이적 행렬은 플레이스와 트랜지션간의 관계를 표현하므로 추이적 행렬과의 관계를 분석하여 모든 사이폰 서브 넷을 감지하는 알고리즘을 제안한다. 또한 제안한 알고리즘의 성능을 사례를 들어 검증한다.

Keywords

References

  1. J.C. Corbett, "Valuating deadlock detection methods for concurrent software," IEEE Transaction on Software Engineering, vol. 22, no. 3, pp. 161-180, Mar. 1996. https://doi.org/10.1109/32.489078
  2. B. C. Damasceno and X. Xie, "Petri nets and dead lock-free scheduling of multiple-resource operations," Proceeding of the 1999 IEEE System Man and Cybernetic, pp. 878-883, Oct. 1999.
  3. D.Y. Chao, "Fewer monitors and more efficient controllability for deadlock control in S3PGR2," The Computer Journal, vol. 53, no. 10, pp. 1783-1798, Dec. 2010. https://doi.org/10.1093/comjnl/bxq007
  4. F. Chu and X.L. Xie, "Deadlock analysis of petri nets using siphon and Mathematical Programming," IEEE Transaction on Robotics and Automation, vol. 13, no. 6, pp. 793-804, Dec. 1997. https://doi.org/10.1109/70.650158
  5. J. Ezpleta, J.M. Colom, J. Martinez, "Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Transaction on Robotics and Automation, vol. 11, no. 2, pp. 173-184. April 1995. https://doi.org/10.1109/70.370500
  6. M.C. Zhou and F.DiCesare, "Petri net synthesis for discrete event control of manufacturing systems," Kluwer Academic Pub., USA, 1993.
  7. A. Tarke, "Optimization algorithms applied to large petri nets," PhD. Thess, Texas Tech. Univ., USA. 2001.
  8. Z.W. Li and M.C. Zhou, "Deadlock control method using elementary siphon of petri nets," Proceeding of the 2003 IEEE System Man and Cybernetic, vol. 3, pp. 2716-2720, Oct. 2003.
  9. Y.S. Huang, "Design of deadlock prevention supervisors using petri nets," The International Journal of Advanced Manufacturing Technology, vol. 35, no. 3-4, pp. 349-362, Dec. 2007. https://doi.org/10.1007/s00170-006-0708-y
  10. Z.W. Li, M. Uzam, M.C. Zhou, "Deadlock control of concurrent manufacturing processes sharing finite resources," The International Journal of Advanced Manufacturing Technology, vol. 38, no. 7-8, pp. 787-800, Sep. 2008. https://doi.org/10.1007/s00170-007-1125-6
  11. 김정철, 김진권, 황형수, "Siphon특성을 이용한 FMS의 Deadlock 해석과 제어," 제어자동시스템공학논문지, 13(7), pp. 677-682, 2007년 7월.
  12. Z.W. Li, M.C. Zhou, M.D. Jeng, "Maximally permissive deadlock prevention policy for FMS based on petri nets siphon control and the theory of regions," IEEE Transaction on Automation Science and Engineering., vol. 5, no. 1, pp. 182-188, Jan. 2008. https://doi.org/10.1109/TASE.2006.884674
  13. M. Yamauchi and T. Watanabe, "Time complexity analysis of the minimal siphon extraction problem of petri nets," IEICE Transaction Fundamentals, vol. E82-A(11), pp. 2558-2565, Nov. 1999.
  14. J. Liu. Y. Itoh. I. Miyazawa, T. Seikiguchi, "Research on petri nets properties using transitive matrix," Proceeding of 1999 IEEE System Man and Cybernetic, pp. 888-893, Oct. 1999.
  15. 송유진, 이종근, "APN과 인접행렬을 이용한 교착상태 회피에 대한 연구," 한국 시뮬레이션 학회 논문지, 15(1), pp. 1-10, 2006년 3월.
  16. T. Murata, "Petri nets: properties, analysis an applications," Proceeding of IEEE, vol. 77, no. 4, IEEE, pp. 541-580, April 1989. https://doi.org/10.1109/5.24143
  17. 김종욱, 이종근, "자원 공유 플레이스 추이적 행렬을 이용한 효율적인 교착상태 확인 정책," 한국시뮬레이션학회논문지, 17(3), pp. 1-9, 2008년 9월.
  18. 정상운, 김종욱, 이종근, "페트리 넷에서 추이적 행렬을 이용한 Siphon 확인 알고리즘," 한국시뮬레이션학회 추계학술대회, pp. 93-97, 2008년 10월.