지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
ABSTRACT
1. 서론
2. 축소형 패트리네트와 최다 수행규칙
3. 정수형 도달성 그래프
4. 사례 연구
5. 요약 및 결론
참고문헌
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
패트리망 분석시 최다 수행규칙이 상태 수에 미치는 영향
(구)정보과학회논문지
1988 .03
On Reachability Conditions for Petri Nets Using State Equations
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1993 .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
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
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
Reachability Criterion of Live Free Choice Petri Nets
대한전자공학회 기타 간행물
1996 .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
패트리네트의 분류법
(구)정보과학회논문지
1994 .08
On Reachability Problem of Subclasses of Time Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1997 .01
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
하이브리드 합성 패트리 네트의 설계오류에 대한 매트릭스 분석 방법
대한전기학회 학술대회 논문집
2000 .11
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
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
Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net )
한국통신학회지(정보와통신)
1982 .01
Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
패트리네트를 이용한 병행 시스템의 설계 및 신뢰성 분석 : 승강기 시스템을 중심으로 ( Design and Reliability Analysis of Concurrent System by Petri Nets : A Case on Lift System )
전자공학회논문지-B
1993 .02
패트리 네트를 이용한 자동화 제조 시스템의 오류 감지 및 진단에 관한 연구
대한전기학회 학술대회 논문집
1993 .11
그래프 도달가능성으로 완전히 문맥에 민감한 분석하기
한국정보과학회 학술발표논문집
2013 .06
페트리 네트
전기의세계
1994 .03
Petri Net를 이용한 호환기의 축소된 호처리 모델링 ( Reduced Call Processing Modeling of Exchange using Petri Net )
한국통신학회 전문대학 논문지
1992 .01
0