01397nam a2200301 c 4500001001300000005001500013008004100028040001100069041001300080052002600093245023400119300003200353545006000385545006000445545006000505545004400565653015200609700001900761700002800780700001400808700004800822773013200870856001501002900002101017900001901038900002001057900001801077KSI00012152920040115163934031204s1999    jbka          000   kor    a0110010 akorbeng01a051b원256ㄴㅁc2300a시간논리 구조와 petri net의 합성방법을 사용한 이산사건 시스템의 모델링=x(A)modeling of discrete event system using temporal logic framework and petri net/d김진권,e모영승,e류영국,e황형수  ap. 239-250:b삽도;c27 cm  a김진권, 제어계측공학과 대학원 석사과정  a모영승, 제어계측공학과 대학원 석사과정  a류영국, 제어계측공학과 대학원 석사과정  a황형수, 전기전자공학부 교수  a시간논리구조aPetri neta합성방법a이산사건시스템a모델링aModelingaDiscreteaEventaSystemaUsingaTemporalaLogicaFramework1 a김진권4aut1 a모영승0KAC2020550421 a류영국1 a황형수,g黃炯秀,d1955-0KAC2013136180 t論文輯-圓光大學敎 大學院.d圓光大學校 大學院.g23집(1999년 8월), p. 239-250q23<239w(011001)KSE19950521240u2066971aK10aHwang, Hyung Soo10aRyu, Young Guk10aMo, Young Seung10aKim, Jin Kwon