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

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

A Modeling of Discrete Event System Using Temporal Logic Framework and Petri Net

시간논리 구조와 Petri Net의 합성방법을 사용한 이산사건 시스템의 모델링

  • Kim, Jin-Kwon (Dept. of Control & Instrumentation Engineering, Wonkwang Univ.) ;
  • Mo, Young-Seung (Dept. of Control & Instrumentation Engineering, Wonkwang Univ.) ;
  • Ryu, Young-Guk (Dept. of Control & Instrumentation Engineering, Wonkwang Univ.) ;
  • Hwang, Hyung-Soo (Dept. of Control & Instrumentation Engineering, Wonkwang Univ.)
  • 김진권 (원광대학교 공과대학 제어계측공학과) ;
  • 모영승 (원광대학교 공과대학 제어계측공학과) ;
  • 류영국 (원광대학교 공과대학 제어계측공학과) ;
  • 황형수 (원광대학교 공과대학 제어계측공학과)
  • Published : 1999.07.19
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, modeling and analysis of discrete event systems by temporal logic frame works and petri net is considered. The reachability tree of the petri net can be used to solve the safeness, boundedness, conservation and coverability problems of discrete event systems. But the reachability tree of the petri net do not solve reachability and liveness problems in general. We proposed a method that synthesised the petri net and the temporal logic frameworks. This method slove some problems of petri net by logical representation of temporal logic frameworks.

Keywords