대한전기학회:학술대회논문집 (Proceedings of the KIEE Conference)

대한전기학회 (The Korean Institute of Electrical Engineers)
권호 표지

Siphon을 이용한 이산 사건 시스템의 Deadlock 해석

Deadlock Analysis of Discrete Event Systems Using Siphon

  • Kim, Jung-Chul (Dept. of Control & Instrumentation Engineering, Wonkwang Univ) ;
  • Kim, Jin-Kwon (Dept. of Control & Instrumentation Engineering, Wonkwang Univ) ;
  • Hwang, Hyung-Soo (Dept. of Control & Instrumentation Engineering, Wonkwang Univ)
  • 발행 : 2001.11.24
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

Siphons and traps are special structures of Petri nets with closely related to liveness for the deadlock analysis of Discrete Event Dynamic Systems. It can analysis the liveness of Petri nets using the siphon and trap without to check reachability.[1] Deadlock analysis approach we proposed is based on the notion of potential deadlock which are siphons that eventually become empty. And in this paper, we proposed a initial marking method by siphon to avoid and to prevent deadlock. It is shown that our approach is more efficient than classical state enumeration approach.

키워드