추이적 행렬을 이용한 패트리 넷의 교착 상태 확인 분석

송유진 ,  이종근

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

2002 .04

확장된 Petri-net을 이용한 FMS의 모델링 및 스케쥴링

안인석 ,  서기성 ,  우광방

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

1991 .10

확장된 Petri-net 을 이용한 FMS의 모델링 및 스케쥴링 ( Modeling and Scheduling for FMS Using Extended Petri Nets )

안인석 ,  서기성 ,  우광방

대한전자공학회 학술대회

1991 .01

SCHEDULING ANALYSIS IN FLEXIBLE MANAGEMENT SYSTEM : USING THE TRANSITIVE MATRIX SLICE

Yu-jin Song ,  Jong-Kun LEE

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2004 .07

Petri-Net을 이용한 FMS 제어 및 모니터링

김고중 ,  정무영 ,  조현보

대한산업공학회지

1995 .03

Time Petri Nets에서의 스케쥴 문제분석 ( Scheduling Problems Analysis For Time Petri Net Reduction )

김명희 ,  이종근

대한전자공학회 학술대회

1996 .01

Time Scheduling Problem in Time Petri Nets

J. Won Kim ,  S. Whan Kim ,  J. Kun Lee

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

1996 .01

하이브리드 합성 패트리 네트의 설계오류에 대한 매트릭스 분석 방법

김진권 ,  모영승 ,  김정철 외 1명

대한전기학회 학술대회 논문집

2000 .11

패트리넬 기반의 멀티미디어 동기화 모델에 관한 비교연구

최성자 ,  이진석 ,  이강수

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

1995 .11

패트리망 분석시 최다 수행규칙이 상태 수에 미치는 영향

이강수 ,  우치수

(구)정보과학회논문지

1988 .03

Timed Petri Nets를 이용한 공장자동화시스템의 스케쥴링 ( Scheduling of Factor Automation Systems Using Timed Petri Nets )

전명근 ,  변증남

대한전자공학회 학술대회

1989 .01

패트리네트를 이용한 병행 시스템의 설계 및 신뢰성 분석 : 승강기 시스템을 중심으로 ( Design and Reliability Analysis of Concurrent System by Petri Nets : A Case on Lift System )

김기범 ,  이강수

전자공학회논문지-B

1993 .02

Petri net와 그의 변형

오길록

(구)정보과학회논문지

1983 .05

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

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

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

2000 .03