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

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

Deadlock Analysis of Discrete Event Systems Using Siphon

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

  • 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)
  • Published : 2001.11.24
Download PDF
⟨ Previous Next ⟩

Abstract

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.

Keywords