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

김고중 ,  정무영 ,  조현보

대한산업공학회지

1995 .03

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

안인석 ,  서기성 ,  우광방

대한전자공학회 학술대회

1991 .01

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

안인석 ,  서기성 ,  우광방

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

1991 .10

Petri Net을 이용한 시간논리 구조의 표현

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

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

2000 .11

칼라 페트리 네트에 의한 유연 생산 시스템의 성능평가 ( The Performance Evaluation of FMS Using Colored Petri Net )

이상재 ,  김낙경 ,  장석호 외 1명

대한전자공학회 학술대회

1995 .01

시간논리 구조와 Petri Net의 합성방법을 사용한 이산사건 시스템의 모델링

김진권 ,  모영승 ,  류영국 외 1명

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

1999 .07

Petri net와 그의 변형

오길록

(구)정보과학회논문지

1983 .05

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

한영렬 ,  박문영

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

1982 .01

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

A New Queuing Scheme on ATM Networks and its Colored Petri Net Based Evaluation

Yumeji Ishiki ,  Mo ,  ikazu Nakamu 외 3명

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

1998 .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의 축조 연구

이종근

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

1990 .11

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

이종근

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

1990 .01

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

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

대한전자공학회 학술대회

1986 .12

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

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

대한전자공학회 학술대회

1986 .01

Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets

Aydın Ayba ,  Mustafa Çimen

International Journal of Control, Automation, and Systems

2007 .08

Petri-Net을 이용한 효과적인 다중로봇 제어알고리즘의 구현

선승원 ,  국태용

제어로봇시스템학회 논문지

2003 .11

Petri Nets over Multiple-Valued Logic Systems Analysis and Applications

Ali Massoud Haida ,  Mititada Mo ,  isue

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

1993 .01