대한전기학회:학술대회논문집 (Proceedings of the KIEE Conference)
- 대한전기학회 1999년도 하계학술대회 논문집 B
- /
- Pages.838-840
- /
- 1999
시간논리 구조와 Petri Net의 합성방법을 사용한 이산사건 시스템의 모델링
A Modeling of Discrete Event System Using Temporal Logic Framework and 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.)
- 발행 : 1999.07.19
초록
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.
키워드