대한전기학회:학술대회논문집 (Proceedings of the KIEE Conference)
- 대한전기학회 2000년도 추계학술대회 논문집 학회본부 D
- /
- Pages.615-617
- /
- 2000
Petri Net을 이용한 시간논리 구조의 표현
Representation of Temporal Logic Framework Using Petri Net
- 김정철 (원광대학교 공과대학 제어계측공학과) ;
- 모영승 (원광대학교 공과대학 제어계측공학과) ;
- 김진권 (원광대학교 공과대학 제어계측공학과) ;
- 황형수 (원광대학교 공과대학 제어계측공학과)
- Kim, Jung-Chul (Dept. of Control & Instrumentation Engineering, Wonkwang Univ.) ;
- Mo, Young-Seung (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.)
- 발행 : 2000.11.25
초록
Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems. Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logic Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this method.
키워드