자원 공유 플레이스 추이적 행렬을 이용한 효율적인 교착상태 확인 정책

• 영문명: An Efficient Deadlock Detection Policy Using the Transitive Matrix of Resource Share Places
• 발행기관: 한국시뮬레이션학회
• 저자명: 김종욱(Jongwoog Kim) 이종근(Jongkun Lee)
• 간행물 정보: 『한국시뮬레이션학회 논문지』제17권 제3호, 75~83쪽, 전체 9쪽
• 주제분류: 공학 > 기타공학
• 파일형태: PDF
• 발행일자: 2008.09.30

국문 초록

여러 개의 작업이 동시에 작동 할 때 서로 다른 작업에서 공유자원을 사용하기 위하여 상대방의 작업이 끝나기를 기다리는상태를 교착상태라 하며 이는 시스템의 효율성과 경제성 제고에 가장 중요한 문제 중 하나이다. 지금까지 이러한 교착상태확인은 도달성(reachability)기법이나 서브 넷(Subnet)으로 분리하여 분석하는 기법 등이 가장 많이 사용 되었으나, 분석에 필요한 시간과 노력, 복잡성과 효율성에 있어서 효과적이지 못한 단점을 가지고 있다. 본 연구는 패트리 넷(Petri Net)에서 모든플레이스(Place) 간의 관계를 나타내는 추이적(Transitive)행렬을 이용하여 교착상태가 나타날 가능성이 있는 자원공유 플레이스를 분석하여 교착상태를 검증하는 정책을 제시한다. 이를 위하여 교착상태를 확인할 수 있는 자원공유 플레이스의 관계를정의하고, 유연생산시스템 모델을 이용하여 제안한 알고리즘의 성과를 검증한다.

영문 초록

A deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop and it is one of the important problems in process control system to detect and prevent deadlocks. While the reachability analyze methods or divide subnets for analyzing methods are well used, it requires a lot of times and effects to analyze the detection of the deadlock status. Furthermore, it could not be effective if the model is complex or huge. Therefore, it is necessary to develop a new and more efficient deadlock detection algorithm. In this paper, a deadlock detection conditions after analyzed the Petri Net using the transitive matrix has been proposed to solve these problems. For presenting the results, the suggested deadlock detection algorithm was also adapted to an illustrated FMS (Flexible Manufacturing System) model.

목차

1. 서론

2. 패트리 넷

3. 추이적 행렬을 이용한 교착상태

4. 사례분석

5. 결론

키워드

알고리즘 병합 교착 유연생산시스템 패트리 넷 자원공유 플레이스 추이적 행렬 Algorithm Conflict Deadlock Petri-nets Resource share place Transitive matrix