01483nam a2200301 c 4500001001300000005001500013007000300028008004100031040001100072041001300083052003900096245020000135300002400335545011100359545009600470545009400566545011000660653008300770700001900853700004800872700001400920700001400934773016300948900001601111900001801127900001801145900001801163KSI00072459320081126160535ta081113s2000    ulk           000   kor    a0110010 akorbeng01a569.905b한613ㅈㄷc27(1)-27(4)00a페트리네트 slice를 이용한 페트리네트 모델의 합성적 분석 =xCompositional analysis of petri net models using petri net slices /d이우진,e차성덕,e권용래,e김흥남  ap. 210-216 ;c26 cm  a이우진, 정회원, 한국전자통신연구원 실시간컴퓨팅연구부 연구원bwoojin@etri.re.kr  a차성덕, 종신회원, 한국과학기술원 전산학과 교수bcha@salmosa.kaist.ac.kr  a권용래, 종신회원, 한국과학기술원 전산학과 교수byrkwon@cs.kaist.ac.kr  a김흥남, 비회원, 한국전자통신연구원 실시간컴퓨팅연구부 연구원bhnkim@etri.re.kr  a페트리네트a합성어aPetri netaCompositional analysisaPetri net slice1 a이우진4aut1 a차성덕,g車成德,d1960-0KAC2017010071 a권용래1 a김흥남0 t정보과학회논문지-소프트웨어 및 응용.d한국정보과학회.g27권 3호(2000년 3월), p. 210-216q27:3<210w(011001)KSE200000590,x1229-684810aLee, Woojin10aCha, Sungdeok10aKwon, Yongrae10aKim, Heungnam