(구)정보과학회 논문지
Current Result Document :
| 한글제목(Korean Title) |
통신 프로토콜의 성능분석을 위한 확장된 Timed Petri Net 모델 |
| 영문제목(English Title) |
Extended Timed Petri Net Models for Performance Analysis of Communication Protocols |
| 저자(Author) |
이동호
김종상
Dongho Lee
Chongsang Kim
|
| 원문수록처(Citation) |
VOL 15 NO. 02 PP. 0141 ~ 0148 (1988. 04) |
한글내용
(Korean Abstract) |
본 논문에서는 timed Petri net에서 세약(constraint)과 확률의 트랜지션 조건을 추가한 확장된 timed Petri net를 제시하였다. 이 방법은 비동기 통신 프로토콜의 모델링과 성능분석, 특히 타임 아웃과 시스템에 의존적인 동작의 모델링을 쉽게 해준다. 이를 통신 프로토콜에 적용시켜 그 유용성을 보였다. |
영문내용
(English Abstract) |
In this paper, Extended Timed Petri Nets (ETPN) are presented that have the additional transition conditions of constraints and probabilities about timed Petri net. Such conditions make it easy to model and analyze performance of interacting asynchronous communication protocols, to model timeouts and system dependent behavior. We demonstrate the usefulness of this net by applying it to the analysis of the communication protocol.
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
