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

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

ANALYSIS OF FILM COOLING EFFECT BY QUASI THREE DIMENSIONAL MODEL

J. S. Maeng ,  J. S. Lee

International Conference on Fluid Machinery

1992 .10

THE LANGUAGE-BASED PETRI NET EXPRESSIONS AND ITS DERIVATION RULES

Won Ho Chung ,  Sang Kyun Yoon

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

1985 .01

Evaluation of PARAdeg of Acyclic Structured Program Nets

ShingoYamaguchi ,  Tomohi ,  o Takai 외 3명

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

2006 .07

ON FUZZY QUASI-CONTINUOUS MAPPINGS

Jin Han Pa ,  k ,  Seong Jun Pa 외 2명

한국지능시스템학회 학술발표 논문집

2001 .12

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

QUASI-FUZZY CONTINUITY AND QUASI-FUZZY SEPARATION AXIOMS

JIN HAN PARK ,  JIN KEUN PARK ,  SU YOUNG SHIN

한국지능시스템학회 학술발표 논문집

1998 .11

CHECKING LIVENESS IN PETRI NETS USING SYNCHRONIC VARIABLES

Inseon Koh ,  F ,  ank DiCesa 외 1명

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

1991 .10

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

이석주 ,  이병주 ,  박귀태

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

2000 .10

FUZZY QUASI-SEMICONTINUITY AND FUZZY QUASI-SEMICONNECTEDNESS

박진한 ,  박진근 ,  박성준

한국지능시스템학회 학술발표 논문집

2000 .05

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

QUASI-PASSIVE MOS FREQUENCY-TO-VOLTAGE AND VOLTAGE-TO-FREQUENCY CONVERTERS

Hi ,  oki Matsumoto ,  Masaki Natsume

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

1989 .01

QUASI-FUZZY EXTREMALLY DISCONNECTED SPACES

BU-YOUNG LEE ,  MI-JUNG SON ,  YOUNG-BEOM PARK

한국지능시스템학회 학술발표 논문집

1998 .11

Design of Initial Acyclic Graphs for k-MUTEX

Mo ,  ikazu Nakamu ,  a 외 3명

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

1995 .01

.NET 기술

권순각

한국멀티미디어학회지

2003 .03

A QUASI-3D MULTIGRID EULER SOLVER FOR VARIOUS CASCADE FLOWS

H. Jiang ,  Jiang Jun Liu

International Conference on Fluid Machinery

1992 .10