지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
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
On Reachability Conditions for Petri Nets Using State Equations
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1993 .01
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
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
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
패트리망 분석시 최다 수행규칙이 상태 수에 미치는 영향
(구)정보과학회논문지
1988 .03
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
Safe Petri Net에 의한 비연속시스템의 발화계열 알고리즘 개발에 관한 연구 ( An Algorithm for Determining Firing Sequence of Discrete Systems Modelled by Safe Petri Net )
대한전자공학회 학술대회
1990 .01
Generalized Submarking Reachability Problems under Unknown Firing Count Vectors and their Inverse Problems of Petri Nets
대한전자공학회 기타 간행물
1996 .01
패트리네트 분석시 상태수 감소방법과 개선된 도달성 그래프
(구)정보과학회논문지
1990 .10
Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net )
한국통신학회지(정보와통신)
1982 .01
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
Safe Petri Net의 상태천이행렬식에 의한 비연속시스템의 점화순서 결정 알고리즘
전기학회논문지
1991 .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
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )
한국통신학회 학술대회논문집
1990 .01
0