지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 1992.2
- 수록면
- 34 - 47 (14page)
이용수
초록· 키워드
오류제보하기
Timed Petri Net(TPN) 모델은 순수 Petri Net 모델에 시간 조건을 도입하여 시간을 중요한 요소로 고려해야 하는 시스템을 모델링할 수 있게 해준다. 그러나 기존의 TPN 모델은 현재 어떤 상태에서 얼마나 오랜 동안 머무르고 있었는가, 앞으로 얼마나 시간이 경과해야 상태전이를 할 것인가 등과 같은 시스템의 동적인 속성(dynamic characteristics)을 명시할 수 없는 단점이 있다.
본 논문에서는 TPN 모델에 전체상태 집합 및 확장된 상태전이 함수, 동적 영향행렬(DIM: Dynamic Incidence Matrix) 등의 개념을 도입함으로써 동적 표현능력을 갖는 TPN 모델(동적 TPN 모델)의 구조적인 형식론을 제시하였다. 끝으로 동적 TPN 모델 형식론을 이용하여 간단한 통신 프로토콜과 교대 비트 프로토콜의 성능을 분석하였다.
본 논문에서는 TPN 모델에 전체상태 집합 및 확장된 상태전이 함수, 동적 영향행렬(DIM: Dynamic Incidence Matrix) 등의 개념을 도입함으로써 동적 표현능력을 갖는 TPN 모델(동적 TPN 모델)의 구조적인 형식론을 제시하였다. 끝으로 동적 TPN 모델 형식론을 이용하여 간단한 통신 프로토콜과 교대 비트 프로토콜의 성능을 분석하였다.
목차
요약
ABSTRACT
1. 서론
2. Petri Net 형식론
3. 동적 TPN 모델
4. TPN 모델의 동적 영향행렬
5. 적용 사례 : 프로토콜의 성능분석
6. 결론
참고문헌
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
관계형 함수를 이용한 Time Petri Nets(TPN)의 합성
대한전자공학회 학술대회
1993 .11
-
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
-
확장된 Timed Petri Net을 이용한 통신 프로토콜의 성능분석 알고리즘 ( An Improved Algorithm for Performance Evaluation of Communication Protocol Using Extended Timed Petri Nets )
한국통신학회논문지
1989 .06
-
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
-
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
-
통신 프로토콜의 성능분석을 위한 확장된 Timed Petri Net 모델
(구)정보과학회논문지
1988 .03
-
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .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
-
동적인 소프트웨어 신뢰도 예측을 위한 신뢰도 패트리넽 모형
(구)정보과학회논문지
1989 .02
-
On the Composition of Time Functions in Time Petri Nets
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1994 .01
-
시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )
한국통신학회 학술대회논문집
1990 .01
-
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성
대한전자공학회 학술대회
1986 .12
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성 ( Petri Net Language generation for analysis of computer system )
대한전자공학회 학술대회
1986 .01
-
Extended Timed Petri Net Models for Performance Analysis of Communication Protocols
TENCON 87 - Computers and Communications Technology Toward 2000
1987 .01
-
Time Scheduling Problem in Time Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
-
Petri Net을 이용한 시간논리 구조의 표현
대한전기학회 학술대회 논문집
2000 .11
-
Timed Petri Nets를 이용한 공장자동화시스템의 스케쥴링 ( Scheduling of Factor Automation Systems Using Timed Petri Nets )
대한전자공학회 학술대회
1989 .01
-
Petri Net를 이용한 서로 다른 관리 망 연동 시스템의 모델링
한국통신학회 학술대회논문집
1998 .07
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017778640