지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
A Subclass of Petri Net with Reachability Equivalent to State Equation Satisfiability : Live Single Branch Petri Net
INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS
2013 .09
Some Useful Sufficient Criteria for Basic Reachability Problem in General Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1997 .01
Reachability Criterion of Live Free Choice Petri Nets
대한전자공학회 기타 간행물
1996 .01
On Reachability Problem of Subclasses of Time Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1997 .01
A Parallel Analysis Method for Reachability of Discrete Event System by Using Petri Nets
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1988 .01
On Reachability Problem of Controlled Petri Nets Under the Earliest Firing Rule
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1998 .01
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net )
한국통신학회지(정보와통신)
1982 .01
Finding Legal Firing Sequence for Basic Reachability Problems in General Petri Nets Via LQ Optimal Control
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1998 .01
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
패트리망 분석시 최다 수행규칙이 상태 수에 미치는 영향
(구)정보과학회논문지
1988 .03
Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
Time Petri Nets에서의 스케쥴 문제분석 ( Scheduling Problems Analysis For Time Petri Net Reduction )
대한전자공학회 학술대회
1996 .01
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )
한국통신학회 학술대회논문집
1990 .01
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
패트리네트 분석시 상태수 감소방법과 개선된 도달성 그래프
(구)정보과학회논문지
1990 .10
컴퓨터 시스템 분석을 위한 Petri net언어의 생성
대한전자공학회 학술대회
1986 .12
컴퓨터 시스템 분석을 위한 Petri net언어의 생성 ( Petri Net Language generation for analysis of computer system )
대한전자공학회 학술대회
1986 .01
Petri net의 擴張에 關한 硏究
한국통신학회논문지
1982 .12
0