지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
THE LANGUAGE-BASED PETRI NET EXPRESSIONS AND ITS DERIVATION RULES
대한전자공학회 심포지엄 논문집
1985 .01
MODELING AND ANALYSIS FOR GSM CALL PROCESSING PROTOCOL USING PETRI NET
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
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1989 .01
THE FRAMEWORK FOR THE INITIAL-MARKING-BASED NECESSARY AND SUFFICIENT LIVENESS-CONDITION OF GENERAL PETRI NETS
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
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1992 .01
Protocol Engineering
전자공학회잡지
1985 .08
ANALYSIS OF QUASI-ACYCLIC PETRI NET
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2006 .07
MODEL-BASED DESIGN OF HIERARCHICAL EVENT-BASED CONTROL
제어로봇시스템학회 국내학술대회 논문집
1990 .10
ANALYSIS OF COMMUNICATION PROTOCOL USING NET MODEL
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2006 .07
Protocol Engineering의 연구 동향
한국정보과학회 워크샵
1997 .07
H.261 BASED TWO-LAYERED CODING
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1992 .01
DESIGN AND IMPLEMENTATION OF A SPECTRUM ENGINEERING SIMULATOR BASED ON GIS
대한전자공학회 워크샵
1996 .01
CHECKING LIVENESS IN PETRI NETS USING SYNCHRONIC VARIABLES
제어로봇시스템학회 국내학술대회 논문집
1991 .10
MODEL-BASED DESIGN FOR HIGH AUTONOMY SYSTEMS
제어로봇시스템학회 국내학술대회 논문집
1991 .10
페트리넷을 이용한 자율 이동로봇의 운용
제어로봇시스템학회 국내학술대회 논문집
2000 .10
CACHE-BASED COMPUTER SYSTEM을 위한 알고리즘
대한전자공학회 학술대회
1983 .11
ISSUES OF REAL-TIME RULE-BASED EXPERT SYSTEMS
대한전자공학회 기타 간행물
1992 .01
HOW MANY LIVE MINIMAL STRUCTURAL TRAPS ARE TO MAKE AN ARBITRARY MINIMAL STRUCTURAL DEADLOCK LIVE IN GENERAL PETRI NET ?
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1992 .01
MICRO INJECTOR BASED ON DIGITAL DRIVE AND CONTROL FOR BIOMEDICAL ENGINEERING
제어로봇시스템학회 국제학술대회 논문집
2003 .10
0