Proceedings of the KIEE Conference (대한전기학회:학술대회논문집)
- 2003.07d
- /
- Pages.2298-2300
- /
- 2003
Deadlock Avoidance of DEDS Using Siphon property
Siphon 특성을 이용한 이산사건 시스템의 Deadlock 회피
- Kim, Jung-Chul (Dept. of Mecatronics Engineering, Chonbuk Univ.) ;
- Kim, Jin-Kwon (Dept. of Control & Instrumentation Engineering, Wonkwang Univ.) ;
-
Hwang, Hyung-Soo
(Dept. of Control & Instrumentation Engineering, Wonkwang Univ.)
;
-
Kim, Sung-Joong
(Dept. of Mecatronics Engineering, Chonbuk Univ.)
- Published : 2003.07.21
Abstract
본 논문은 페트리 네트의 특별한 구조인 siphon의 특성을 이용하여 트랜지션 점화를 제어함으로써 deadlock을 회피하는 방법을 제시한다. 제안한 방법은 페트리 네트에서 상태 방정식을 유도한 후, siphon의 특성을 이용하여 deadlock을 회피할 수 있는 충분 조건을 유도한다. 간단한 FMS의 예를 이용하여 제안한 방법을 사용하면 deadlock이 발생하지 않음을 보인다.
Keywords