The Journal of Korean Institute of Communications and Information Sciences (한국통신학회논문지)

The Korean Institute of Commucations and Information Sciences (한국통신학회)
권호 표지

A Study on Representation of Ada Tasking Execution Time Complexity using ATSN

ATSN을 이용한 Ada Tasking 실행 시간 복잡도 표현에 관한 연구

  • 이병복 (전북대학교 전자계산학과) ;
  • 유철중 (전북대학교 전자계산학과) ;
  • 김용성 (전북대학교 전자계산학과) ;
  • 장옥배 (전북대학교 전자계산학과)
  • Published : 1993.05.01
Download PDF
⟨ Previous Next ⟩

Abstract

Marked Petri Net(MPN) is used to analyze communication complexity with respect to the maximum number of concurrently active rendezvous. But, because it cannot represent timed & probability characteristics explicitly, it is not used to analyze the new execution time of complexity with respect to the communication. Thus to effectively analyze that execution time complexity, we propose Ada Tasking Structure Nets (ATSN) introduced restrictive conditions : net reduction rules, execution time, and probability. Finally, we show the powers of analyze of communication complexity with ATSN.

Marked Petri Net(MPN) 모델은 최대 병행 활성화 랑데부 수에 따른 통신 복잡도를 분석할 수 있게 해준다. 그러나 이 모델은 시간과 확률 속성(Time and Probability characteristics)을 명시할 수 없음으로 통신 복잡도의 새로운 개념인 실행 시간 복잡도를 분석할 수 없다. 본 논문에서는 이러한 실행 시간 복잡도를 효율적으로 분석하기 위해 MPN에 새로운 제약 조건인 net 절감 법칙, 실행 시간, 그리고 확률 조건을 도입한 Ada Tasking Structure Nets(ATSN)을 제안한다. 끝으로 ATSN 모델을 이용하여 통신 복잡도의 분석 효과를 보인다.

Keywords