PROTOCOL ENGINEERING ENVIRONMENT BASED ON PETRI NETS

Xu Zhi Nong

대한전자공학회 기타 간행물

1992 .01

MODELING AND ANALYSIS FOR GSM CALL PROCESSING PROTOCOL USING PETRI NET

Nae Jin Kim ,  Chil Joo Kwon ,  Jin Tae Kim 외 4명

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

1992 .01

MODELING AND VERIFICATION FOR STATE TRANSITION TABLE OF COMMUNICATION PROTOCOLS BY USING PETRI NET

Kohkichi Tsuji ,  Tadashi Matsumoto

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

1989 .01

THE LANGUAGE-BASED PETRI NET EXPRESSIONS AND ITS DERIVATION RULES

Won Ho Chung ,  Sang Kyun Yoon

대한전자공학회 심포지엄 논문집

1985 .01

ANALYSIS OF QUASI-ACYCLIC PETRI NET

Atsushi Ohta ,  Masahi ,  o Ueda 외 1명

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

2006 .07

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

김영찬 ,  권혁인

(구)정보과학회논문지

1985 .02

THE FRAMEWORK FOR THE INITIAL-MARKING-BASED NECESSARY AND SUFFICIENT LIVENESS-CONDITION OF GENERAL PETRI NETS

Tadashi Matsumoto ,  Kohkichi Tsuji

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

1992 .01

CHECKING LIVENESS IN PETRI NETS USING SYNCHRONIC VARIABLES

Inseon Koh ,  F ,  ank DiCesa 외 1명

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

1991 .10

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

이석주 ,  이병주 ,  박귀태

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

2000 .10

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

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

대한전자공학회 학술대회

1986 .01

Concurrent Engineering

유영갑

전자공학회지

1992 .01

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

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

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

2000 .10

C language를 위한 Concurrent Programming 환경의 개발

윤용익 ,  조주현 ,  정영조 외 1명

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

1988 .04

HOW MANY LIVE MINIMAL STRUCTURAL TRAPS ARE TO MAKE AN ARBITRARY MINIMAL STRUCTURAL DEADLOCK LIVE IN GENERAL PETRI NET ?

Tadashi Matsumoto ,  Kohikichi Tsuji

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

1992 .01

.NET 기술

권순각

한국멀티미디어학회지

2003 .03

Development Concurrent Engineering : Product Design Evaluation

Moonso Cho

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

1996 .04

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

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

대한전자공학회 학술대회

1996 .08

Concurrent Engineering Frameworks

Joo-Yong Kim

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

1996 .04

Deadlock Free를 위한 Petri Net의 합성및 제거

김창민 ,  민태홍 ,  김영찬

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

1985 .04