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

PROTOCOL ENGINEERING ENVIRONMENT BASED ON PETRI NETS

Xu Zhi Nong

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

1992 .01

ANALYSIS OF COMMUNICATION PROTOCOL USING NET MODEL

Masahi ,  o Ueda ,  Atsushi Ohta 외 1명

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

2006 .07

A PRACTICAL APPLICATION OF PETRI NET TO CONCURRENT EMBEDDED SYSTEM DESIGN AND ANALYSIS : A CASE ON LIFE SYSTEM

Gy Bum Kim ,  Gang Soo Lee ,  Jung Mo Yoon

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

1992 .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

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

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

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

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

2000 .10

Communication Models and Protocols

Moto ,  ola

대한전자공학회 단기강좌

1991 .01

CHECKING LIVENESS IN PETRI NETS USING SYNCHRONIC VARIABLES

Inseon Koh ,  F ,  ank DiCesa 외 1명

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

1991 .10

Communication Protocol의 design 을 위한 Specification과 Verification에 관한 연구

정환태 ,  김창민 ,  김영찬

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

1986 .10

A Verification System for Communication Protocols and Its Application to the OSI Session Protocol

Feng-jing Shao ,  Hi ,  oyuki Seki 외 5명

JC-CNSS : Joint Conference on Communications, Networks and Switching Systems

1990 .01

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

이석주 ,  이병주 ,  박귀태

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

2000 .10

A Study on the Fuzzy Petri-net of the X. 25 Communication Protocol

Jae Taek Rhyu ,  Kwang Hyung Lee

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

1994 .01

Development of Communication Protocol Verification Tool for Vital Railway Signaling Systems

Jong-Gyu Hwang ,  Hyun-Jeong Jo ,  Jae-Ho Lee

Journal of Electrical Engineering & Technology

2006 .12

철도신호설비 상호간 정보전송을 위한 통신 프로토콜 검증시험

황종규 ,  이재호 ,  윤용기 외 1명

철도저널

2004 .06

Extended Timed Petri Net Models for Performance Analysis of Communication Protocols

Dong Ho Lee ,  Chong Sang Kim

TENCON 87 - Computers and Communications Technology Toward 2000

1987 .01

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

A Petri Net Based Protocol Design Tool for Wireless Data Communication

Takeshi Nakao ,  Takumi Yamagishi ,  Pauline N. Kawamoto 외 3명

대한전자공학회 워크샵

1996 .01