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

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

DOI QR Code

An Performance Evaluation of the Deadlock Detection Algorithm in Petri Nets

패트리 넷에서의 교착 상태 확인 알고리즘 성능분석

  • 김종욱 (창원대학교 컴퓨터공학과) ;
  • 이종근 (창원대학교 컴퓨터공학과)
  • Received : 2008.11.11
  • Accepted : 2009.03.19
  • Published : 2009.03.31
Download PDF
⟨ Previous Next ⟩

Abstract

Since a deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop, it is very important to detect and prevent a deadlock. About the deadlock detection analysis methods are may divide like as Siphon, DAPN and transitive matrix, but it's very difficult to evaluate the performance. Since DES (Discrete Event Systems) is NP-hard, and these detection and avoidance methods used various factors in each technique, it's made difficult to compare with each other's. In this paper, we are benchmarked these deadlock detection analyze methods based on the complexity, the detection time and the understanding after approached to one example.

본 연구에서는 교착상태 확인 알고리즘의 성능분석을 위하여 사이폰(siphon) 알고리즘, DAPN알고리즘과 추이적 행렬 알고리즘을 상호 비교한다. 이를 위하여 비교 모델을 설정하여 각 알고리즘을 활용한 결과를 복잡도, 이해도 그리고 신속성 등의 3가지 함수를 이용하여 성능을 분석한다. 서로 다른 개념의 알고리즘을 비교분석에 한계성이 있으나, 동일한 모델에 적용하여 그 효율성을 비교 분석하여 각 알고리즘의 특성들을 분석한다.

Keywords

References

  1. Corbett JC (1996), "Evaluating Deadlock detection methods for concurrent software", IEEE tr. Sof. Eng. Vol. 22 (3), pp. 161-180. https://doi.org/10.1109/32.489078
  2. Damasceno BC. And Xie X. (1999), "Petri nets and deadlock-free scheduling of multiple-resource operations", In IEEE SMC'99, pp. 878-883.
  3. F. Chu and X-L. Xie (1997), "Deadlock Analysis of Petri nets using Siphon and Mathematical Programming", IEEE Tr on Robotics and Automation, Vol. 13, No. 6, pp. 793-804. https://doi.org/10.1109/70.650158
  4. Ezpleta J.,Colom JM,Martinez J. (1995), "A Petri net based deadlock prevention policy for flexible manufacturing systems", IEEE tr. Robotics and Automat., Vol. 11, No. 2, pp. 173-184. https://doi.org/10.1109/70.370500
  5. Liu J.,Itoh Y., Miyazawa I., Seikiguchi T., (1999). "A Research on Petri nets Properties using Transitive matrix", In: Proceeding IEEE SMC'99, pp. 888-893.
  6. 송유진, 이종근 (2006), "DAPN과 인접행렬을 이용한 교착상태 회피에 대한 연구", 한국시뮬레이션학회 논문지, 15권 (1호), pp. 1-10.
  7. Y-Sheng Huang (2007), "Design of deadlock prevention supervisors using Petri nets", In: J.Adv. manuf. Tech., Vol. 35, pp. 349-362. https://doi.org/10.1007/s00170-006-0708-y
  8. ZW Li, M.Uzam, MCZhou (2008), "Deadlock control of concurrent manufacturing processes sharing finite resources", In J. Adv. manuf. Tech., Vol. 38, pp. 787-800. https://doi.org/10.1007/s00170-007-1125-6
  9. 김정철 외 2 (2007), "Siphon특성을 이용한 FMS의 Deadlock 해석과 제어", 제어자동시스템공학 논문지, 13권 (7호), pp. 677-682.
  10. ZW Li,MC Zhou,MD Jeng (2008), "A Maximally Permissive deadlock prevention policy for FMS based on petri nets Siphon control and the theory of regions", In: IEEE tr. on Automation Scie. and Eng., Vol. 5, No. 1, pp. 182-188. https://doi.org/10.1109/TASE.2006.884674
  11. 김종욱, 이종근 (2008), "자원공유플레이스 추이적행렬을 이용한 효율적인 교착상태 확인정책", 한국시뮬레이션학회 논문지, 17권 (3호), pp. 75-83.
  12. 김종욱, 정상운, 이종근 (2008), "추이적 행렬을 이용한 교착상태확인 알고리즘의 성능 분석", '08추계학술대회논문집, 한국시뮬레이션학회, 서울산업대, pp. 98-102.