지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 1988.3
- 수록면
- 133 - 140 (8page)
이용수
초록· 키워드
오류제보하기
본 논문에서는 도달성 트리에 의해 패트리망을 분석할 때 place수와 상태 수 간의 관계와 패트리망의 각 요소들의 상관관계를 실험조사적 방법으로 보였다. 상태 수 감소를 위해 “죄다 수행규칙”을 적용할때의 상태 수 감소율과 분석능력 불변성을 보였고, 죄다 수행규칙이 그래프에서의 최대 clique문제와 같고, 이는 NP-hard문제임을 증명하였다. 이 결과 들은 패트리망 분석시에 활용할 수 있고, 동시처리 스케쥴링시에 최대 평균자원 수 결정에 응용될 수 있다.
목차
요약
ABSTRACT
1. 서론
2. 도달성 트리의 상태 수
3. 최다 수행규칙의 특성
4. 결론
참고문헌
저자소개
부록
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
패트리네트 분석시 상태수 감소방법과 개선된 도달성 그래프
(구)정보과학회논문지
1990 .10
-
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
-
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
-
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
-
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
-
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
-
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
-
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
-
Time Petri Nets에서의 스케쥴 문제분석 ( Scheduling Problems Analysis For Time Petri Net Reduction )
대한전자공학회 학술대회
1996 .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
-
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
-
패트리네트의 분류법
(구)정보과학회논문지
1994 .08
-
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
-
시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )
한국통신학회 학술대회논문집
1990 .01
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성 ( Petri Net Language generation for analysis of computer system )
대한전자공학회 학술대회
1986 .01
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성
대한전자공학회 학술대회
1986 .12
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017775614