Structural Properties about Relation between Deadlocks and Traps in Timed Petri Nets

Tadashi Matsumoto ,  Kohkichi Tsuji

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

1990 .01

To Make a Better Place to Live

Byung-Sun Choe ,  Hyunsun Song

대한토목학회지

2007 .08

내가 살고 싶은 곳은 어디에

최예환

대한토목학회지

2010 .01

Fuzzy r-minimal Continuous Functions Between Fuzzy Minimal Spaces and Fuzzy Topological Spaces

Won Keun Min

INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS

2010 .06

Remarks on Fuzzy Weak r-M Continuity on Fuzzy r-Minimal Structures

민원근 ,  김명환

한국지능시스템학회 논문지

2011 .04

PROTOCOL ENGINEERING ENVIRONMENT BASED ON PETRI NETS

Xu Zhi Nong

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

1992 .01

DEADLOCK DETECTION 알고리즘의 구축 및 실행

김광훈 ,  김영찬

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

1985 .04

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

On Fuzzy Weak r-minimal Continuity Between Fuzzy Minimal Spaces and Fuzzy Topological Spaces

Won Keun Min

INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS

2010 .12

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

Deadlock 검출을 위한 분산알고리즘 ( A Distributed Algorithm for Deadlock Detection )

원종권 ,  류근호 ,  박규태

대한전자공학회 학술대회

1987 .07

Deadlock 검출을 위한 분산알고리즘

원종권 ,  류근호 ,  박규태

대한전기학회 학술대회 논문집

1987 .07

Handles and Deadlocks in Petri Nets

Dong Ik Lee

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

1997 .01

효율적인 분산 deadlock 검출에 관한 연구

류근호 ,  이상범 ,  김재희 외 1명

대한전자공학회 학술대회

1985 .06

효율적인 분산 Deadlock 검출에 관한 연구 ( A Study on an Effective Distributed Deadlock Detection )

류근호 ,  이상범 ,  김재희 외 1명

대한전자공학회 학술대회

1985 .01

THE LANGUAGE-BASED PETRI NET EXPRESSIONS AND ITS DERIVATION RULES

Won Ho Chung ,  Sang Kyun Yoon

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

1985 .01

On Fuzzy Almost r-minimal Continuous Functions between Fuzzy Minimal Spaces and Fuzzy Topological Spaces

Won Keun Min

INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS

2011 .03

바꿔야 산다. 바꾸지 않으면 살 수 없다

임윤묵

대한토목학회지

2019 .07

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