An Performance Evaluation of the Deadlock Detection Algorithm in Petri Nets

ABSTRACTSince 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. Key words : Algorithm, DAPN, Deadlock, Deadlock free, Petri nets, Siphon, Transitive matrix요 약본 연구에서는 교착상태 확인 알고리즘의 성능분석을 위하여 사이폰 (siphon) 알고리즘, DAPN알고리즘과 추이적 행렬 알고리즘을 상호 비교한다 . 이를 위하여 비교 모델을 설정하여 각 알고리즘을 활용한 결과를 복잡도 , 이해도 그리고 신속성 등의 3가지 함수를 이용하여 성능을 분석한다. 서로 다른 개념의 알고리즘을 비교분석에 한계성이 있으나 , 동일한 모델에 적용하여 그 효율성을 비교 분석하여 각 알고리즘의 특성들을 분석한다 .주요어 : 알고리즘, 교착회피 패트리 넷, 교착상태, 교착자유상태, 패트리 넷, 사이폰, 추이적행렬