관계형 함수를 이용한 Time Petri Nets(TPN)의 합성

류은정 ,  이종근

대한전자공학회 학술대회

1993 .11

Improved Region-Based TCTL Model Checking of Time Petri Nets

Mohammad Esmail Esmaili ,  Reza Enteza ,  i-Maleki 외 1명

Journal of Computing Science and Engineering

2015 .03

TPN을 이용한 FMC의 JOB 스케쥴링 분석

안광수

한국컴퓨터정보학회논문지

1999 .09

동적 표현능력을 갖는 Timed Petri Net 형식론

손진곤 ,  황종선 ,  백두권

(구)정보과학회논문지

1992 .02

Performance evaluation of safety-critical systems of nuclear power plant systems

P ,  amod Kuma

Nuclear Engineering and Technology

2020 .01

Time Petri Nets 합성을 위한 형식적 정의 방법

김정원 ,  송유진 ,  곽정화 외 2명

한국정보과학회 학술발표논문집

1995 .10

타임패트리 네트 UNFOLDING을 이용한 FMS의 스케쥴링 분석

이종근

제어로봇시스템학회 국내학술대회 논문집

2000 .10

타임패트리 네트 UNFOLDING 을 이용한 FMS의 스케쥴링 분석

이종근

제어로봇시스템학회 국내학술대회 논문집

2000 .10

타임패트리 네트 UNFOLDING 을 이용한 FMS의 스케쥴링 분석

이종근

제어로봇시스템학회 국내학술대회 논문집

2000 .10

TPN 모델을 위한 프리젠테이션 스케줄러

조태경 ,  김창룡 ,  정진완

한국정보과학회 학술발표논문집

1997 .04

범용논리모듈, U_h에 의한 3차 함수 합성

한정교 ,  김영건 ,  김흥수

대한전자공학회 학술대회

1994 .07

동적인 소프트웨어 신뢰도 예측을 위한 신뢰도 패트리넽 모형

이강수 ,  우치수

(구)정보과학회논문지

1989 .02

On the Composition of Time Functions in Time Petri Nets

Jong Kun Lee ,  Eun Jung Ryu ,  Yu Jin Song

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1994 .01

시간 페트리 넷을 이용한 상황인지 모델링 기법

박병성 ,  김학배

한국통신학회논문지

2011 .04

.NET 기술

권순각

한국멀티미디어학회지

2003 .03

Deadlock Free를 위한 Petri Net의 합성및 제거

김창민 ,  민태홍 ,  김영찬

한국정보과학회 학술발표논문집

1985 .04

Estimation of Accessibility and Usability in Web Interaction for Personalized Ubiquitous Web Information Services

김영복

정보과학회논문지 : 소프트웨어 및 응용

2008 .08

페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석

이우진 ,  차성덕 ,  권용래 외 1명

정보과학회논문지 : 소프트웨어 및 응용

2000 .03