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

김영찬 ,  권혁인

(구)정보과학회논문지

1985 .02

Modeling of Communication Systems Using Stochastic Petri Nets

Hoon Choi ,  Chung Ho Cho ,  Hyeong Seok Lim

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

1996 .01

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

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

대한전자공학회 학술대회

1986 .01

Petri net와 그의 변형

오길록

(구)정보과학회논문지

1983 .05

Execution Rules for a Class of Timed / Stochastic Petri Nets

Gang Soo Lee

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

1994 .01

Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net ）

한영렬 ,  박문영

한국통신학회지(정보와통신)

1982 .01

Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling

이요섭 ,  박정문 ,  김성열 외 1명

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

1991 .04

Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets

Tadao Mu ,  ata

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

1996 .01

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

김명희 ,  이종근

대한전자공학회 학술대회

1996 .01

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

이종근

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

1990 .01

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

이종근

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

1990 .11

Colored Batch Petri Net and its Application to Emergency Evacuation System

Maki Yabuuchi ,  Atsushi Ohta ,  Kohkichi Tsuji

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

2007 .07

Stochastic Petri Nets을 이용한 시스템 분석

최훈 ,  Kisho ,  S T 외 1명

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

1993 .10

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

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

대한전자공학회 학술대회

1986 .12

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

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

대한전자공학회 학술대회

1986 .01

On some analysis problem of extended batch Petri nets

Atsushi Ohta ,  Kohkichi Tsuji

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

2009 .07

효율적인 성능 분석을 위한 확장된 Stochastic Petri Net 모델

유강모 ,  김성열 ,  이철희

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

1989 .10

Distributed Control of Industrial Robot Systems using Petri Net Based Multitask Processing

Gen’ichi Yasuda

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

2009 .08

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

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

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

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

2000 .03