Ada Tasking 통신 복잡도 표현을 위한 ATSN에 관한 연구

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