기관회원 [로그인]
소속기관에서 받은 아이디, 비밀번호를 입력해 주세요.
개인회원 [로그인]

비회원 구매시 입력하신 핸드폰번호를 입력해 주세요.
본인 인증 후 구매내역을 확인하실 수 있습니다.

회원가입
서지반출
확장된 Timed Petri Net을 이용한 통신 프로토콜의 성능분석 알고리즘
[STEP1]서지반출 형식 선택
파일형식
@
서지도구
SNS
기타
[STEP2]서지반출 정보 선택
  • 제목
  • URL
돌아가기
확인
취소
  • 확장된 Timed Petri Net을 이용한 통신 프로토콜의 성능분석 알고리즘
저자명
이철희,이상호,김홍식
간행물명
한국통신학회논문지
권/호정보
1989년|14권 3호|pp.197-206 (10 pages)
발행정보
한국통신학회
파일정보
정기간행물|
PDF텍스트
주제분야
기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
서지반출

기타언어초록

본 논문에서는 통신 프로토콜의 성능 분석을 위한 개선된 알고리즘을 제안한다. 이는 분산 시스템의 성능을 모델링하고 평가하는데 성공적으로 사용되어져 온 시간을 포함하는 확장된 Timed Petri Net 모델을 분석하는 알고리즘이다. 제안된 알고리즘은 일반적인 Timed Petir Net가 free-chioce 그리고 safe net 이라는 모델링의 제약을 완화하여, 제한적인 병행처리의 모델링을 허용한다. 그리고 Timed Reachability 그래프의 상태공간을 감소시키기 위해, 최다 수행규칙고 동시점화 트랜지션 집합을 이용한다. 알고리즘의 유용성 및 효율성을 보이기 위하여 Timed Reachability 그래프의 구성과 분석과정을 제시하고, 통신 프로토콜에 적용시켰다.

기타언어초록

In this paper, we represent an improved algorithm of performance evaluation for communication protocol. It is an algorithm that analyzes Extended Timed Perti Net models including time which have been successfully used to model and evaluate the performance of distributed system. While Timed Petri Nets generally limted to free-choice and safe nets, our algorithm permits the construnction of elegant models of restricted concurrent processing. Furthermore, to reduce the state space size of Timed Reachability Graph, we improve the algorithm by using Maximum Firing Rule and sets of simultaneously firing transitions. Procedures for constructing of Timed Reachability Graphs and analyzing are presented, and we demonstrate the usefulness of this algorithm by applying it to the analysis of the communication protocol.