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

• 영문명: A Policy to Find All Siphons using Transitive Matrix
• 발행기관: 한국시뮬레이션학회
• 저자명: 김외영(Oeyeong Kim) 이종근(Jongkun Lee)
• 간행물 정보: 『한국시뮬레이션학회 논문지』제19권 제4호, 67~75쪽, 전체 9쪽
• 주제분류: 공학 > 기타공학
• 파일형태: PDF
• 발행일자: 2010.12.30

국문 초록

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

영문 초록

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.

목차

1. 서론

2. 패트리넷과 추이적 행렬

3. 추이적 행렬을 이용한 사이폰 감지

4. 추이적 행렬을 이용한 사이폰 감지 알고리즘

5. 사례연구 및 분석

6. 결론

키워드

교착상태 사이클 넷 패트리 넷 사이폰 자원공유 추이적행렬 Cycle net Deadlock Petri nets Resource share Siphon Transitive matrix