패트리넽을 이용한 승강기 시스템의 설계 및 신뢰성 분석 사례 연구

김기범 ,  이강수

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

1992 .04

타임 패트리 네트를 이용한 비동기식 병행 시스템의 성능 평가 ( Performance Evalution of Asynchronous Concurrent System Using Timed Petri Nets )

이부영 ,  송영재

한국통신학회논문지

1989 .10

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

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

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

2000 .11

Petri net에 의한 Concurrent System 설계에 관한 연구

김영찬 ,  권혁인

(구)정보과학회논문지

1985 .02

신뢰도 패트리 네트를 이용한 객체 지향 설계 명세서의 신뢰성 분석 기법

김갑수 ,  우치수

정보과학회논문지(B)

1996 .10

패트리 네트를 이용한 자동화 제조 시스템의 오류 감지 및 진단에 관한 연구

이종배 ,  임준홍

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

1993 .11

패트리네트의 분류법

이강수

(구)정보과학회논문지

1994 .08

패트리네트 분석시 상태수 감소방법과 개선된 도달성 그래프

이강수 ,  우치수

(구)정보과학회논문지

1990 .10

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

최성자 ,  이진석 ,  이강수

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

1995 .11

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

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

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

2000 .03

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

이강수 ,  우치수

(구)정보과학회논문지

1989 .02

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

이강수 ,  우치수

(구)정보과학회논문지

1988 .03

Concurrent System 분석을 위한 Generalized Petri Net 축소방법 ( Generalized Petri Net Reduction Method for Concurrent System Analysis )

이광형 ,  박동조 ,  성단근 외 1명

대한전자공학회 학술대회

1986 .01

병행 설계 공정 시스템 ( Concurrent Design/Process System )

이수홍

대한기계학회지

1994 .03

시스템 분석을 위한 Petri net의 축조 연구

이종근

한국통신학회 학술대회논문집

1990 .11

시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )

이종근

한국통신학회 학술대회논문집

1990 .01

Petri net와 그의 변형

오길록

(구)정보과학회논문지

1983 .05

컴퓨터 시스템 분석을 위한 Petri net언어의 생성

조영욱 ,  이광형 ,  유관종 외 1명

대한전자공학회 학술대회

1986 .12

컴퓨터 시스템 분석을 위한 Petri net언어의 생성 ( Petri Net Language generation for analysis of computer system )

조영욱 ,  유관종 ,  진성일 외 1명

대한전자공학회 학술대회

1986 .01

페트리 네트

남부희

전기의세계

1994 .03