비동기회로 합성을 위한 병행 프로그램의 페트리 넷으로의 변환 ( Translating Concurrent Programs into Petri Nets for Synthesis of Asynchronous Circuits )

유동훈 ,  이동익

대한전자공학회 학술대회

1998 .07

페트리 넷 ( Petri Nets ) 을 이용한 통신 시스템 분석

최훈

한국통신학회 학술대회 및 강연회

1997 .01

페트리넷(Petri Nets)을 이용한 통신 시스템의 성능분석

최훈

한국통신학회 워크샵

1996 .08

페트리 네트

남부희

전기의세계

1994 .03

구문중심적 변환을 통한 C언어의 비동기회로 합성기법

곽상훈 ,  이정근 ,  이동익

대한전자공학회 학술대회

2002 .06

페트리넷의 정보 시스템의 응용 ( Use of Petri Nets to the Information Systems )

차균현

전자공학회지

1982 .03

Behavioral Analysis of a Distributed Asynchronous Concurrent System Represented by a Stochastic Petri Net

Qun Jin ,  Keiichi Aoki

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

1993 .01

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

김영찬 ,  권혁인

(구)정보과학회논문지

1985 .02

페트리 넷을 이용한 제조셀의 성능평가

김태운 ,  서윤호 ,  신동목

대한산업공학회 추계학술대회 논문집

2004 .11

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

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

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

2000 .03

서브넷의 동적인 특성에 기초를 둔 페트리넷 축약 방법

오하령 ,  김준형

(구)정보과학회논문지

1995 .04

페트리 네트를 이용한 순차 제어 ( Study on Sequence Control Using Petri Net )

최돈 ,  김현기 ,  우광방

대한전자공학회 학술대회

1988 .01

인터넷 멀티미디어 시나리오를 모델하기 위한 페트리 넷 소개

임재걸

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

2000 .10

페트리 네트를 이용한 이산 사건 시스템의 성능 분석

최정환 ,  고인선

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

1996 .10

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

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

대한전자공학회 학술대회

1986 .01

Stuck-at Fault Model for Testing of Asynchronous Circuit using Time Petri-Net

Tawan Phu ,  at ,  A 외 1명

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

2006 .07

Time Petri-Net based Stuck-at Fault Model for Asynchronous Circuits Testing

Tawan Phu ,  at ,  A 외 1명

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

2005 .07

시뮬레이션 기법을 이용한 페트리 네트 모델 성능 평가

강성귀 ,  장석호 ,  남부희

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

1993 .10

페트리네트를 이용한 프로토콜 시험 방법

오행석 ,  이부호

한국통신학회 학술대회 및 강연회

1998 .07