컬러드 페트리 네트를 이용한 지능망 서비스의 모델링 및 검증 ( Modeling and Verifying IN Services Using Colored Petri Net )

배현섭 ,  이우진 ,  차성덕 외 1명

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

1996 .01

컬러드 페트리 네트를 이용하는 안전성 분석 기법

조승모 ,  홍형석 ,  차성덕

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

1995 .10

페트리 네트 모델 검증의 자동화에 관한 연구

최정종 ,  양기철

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

1996 .04

페트리네트를 이용한 유연생산시스템의 실시간 제어에 관한 연구

노상도 ,  김기범 ,  김종원 외 1명

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

1993 .10

페트리 네트를 이용한 서비스 특징의 모델링 및 서비스 상호작용의 검사 ( Modeling and Detecting Feature Interactions Using Petri-Nets )

이우진 ,  김현수 ,  최정훈 외 2명

대한전자공학회 학술대회

1994 .01

페트리 네트

남부희

전기의세계

1994 .03

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

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

대한전자공학회 학술대회

1995 .01

확장형 컬러 페트리 네트에 의한 유연 생산 셀의 모델링 및 스케쥴러 구현

朴正道 ,  趙瑛朝 ,  金應錫 외 1명

전기학회논문지

1994 .10

퍼지 트랜지션 시간 페트리 네트의 이산 사건 시스템에 응용

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

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

2000 .10

페트리네트를 이용한 유연생산시스템의 성능평가에 관한 연구

김기범 ,  이교일

한국정밀공학회 학술발표대회 논문집

1994 .05

페트리넷을 이용한 광대역 지능망 서비스의 모델링 및 검증

전향희 ,  전용희 ,  최고봉

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

1998 .11

페트리넷을 이용한 자율 이동로봇의 운용

이석주 ,  이병주 ,  박귀태

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

2000 .10

이진 페트리 네트의 메모리-베이스 구현을 기본으로 하는 프로그래머블 제어기에 관한 연구

장래혁 ,  박재현 ,  노갑선 외 1명

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

1993 .10

페트리 네트를 이용한 광부품 조립 시스템의 모델링

김영호 ,  차동국 ,  정승권 외 2명

한국정밀공학회 학술발표대회 논문집

2002 .05

다중 교차로에서의 지능형 교통제어 알고리즘 개발 및 페트리네트를 이용한 성능측정

강영화 ,  고인선

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

2000 .10

언폴딩에 기반한 유한페트리넷의 실용적 도달가능성 분석

김의석 ,  이정근 ,  이동익

정보과학회논문지 : 시스템 및 이론

2000 .06

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

강성귀 ,  장석호 ,  남부희

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

1993 .10

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

최돈 ,  김현기 ,  우광방

대한전자공학회 학술대회

1988 .01

페트리 넷을 이용한 광대역지능망 기반 주문형비디오서비스 모델링 및 검증 ( A Modeling and Validation of B-IN Based VOD Service Using Petri Net )

최고봉 ,  전향희 ,  전용희

대한전자공학회 학술대회

1998 .01

이산 사건시스템에 대한 페트리네트 모델링과 해석

이기범 ,  이진수

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

1999 .03