PROTOCOL ENGINEERING ENVIRONMENT BASED ON PETRI NETS

Xu Zhi Nong

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

1992 .01

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

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

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

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

ISSUES OF REAL-TIME RULE-BASED EXPERT SYSTEMS

Li Ming Shu ,  Hong Bing Rong ,  Wang Yi He

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

1992 .01

Some Derivations on d-Algebras

Young Hee Kim

INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS

2018 .12

.NET Language특성

김동근 ,  김태석

한국멀티미디어학회지

2003 .03

MODEL-BASED DESIGN OF HIERARCHICAL EVENT-BASED CONTROL

Sung-Do Chi ,  Be ,  na 외 1명

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

1990 .10

STROKE CLASSIFICATION FROM CHINESE CHARACTER BY RULE BASED SYSTEM

Jong Kook Lee ,  Young Ja Song ,  Hang Joon Kim

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

1992 .01

H.261 BASED TWO-LAYERED CODING

Doo Hyun Lee ,  Kwang Kee Lee ,  Taek Hyun Yun 외 4명

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

MODEL-BASED DESIGN FOR HIGH AUTONOMY SYSTEMS

S.D. Chi ,  B.P Zeigle ,  S.H. Pa 외 1명

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

1991 .10

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

이석주 ,  이병주 ,  박귀태

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

2000 .10

CACHE-BASED COMPUTER SYSTEM을 위한 알고리즘

김영인

대한전자공학회 학술대회

1983 .11

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

NATURAL LANGUAGE SEMANTICS PROCESSING-CASE IDENTIFYING BASED ON MEANING RELATION

Wang Jian Bo ,  Wang Kai Zhu ,  Ma Yue 외 1명

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

1992 .01

.NET 기술

권순각

한국멀티미디어학회지

2003 .03