Dynamic Timed Petri Nets

동적 시간 페트리네트

Timed Petri nets are one of the most important formalisms used to specify concurrent systems, However, timed Petri nets cannot represent the dynamics of systems within the formalism explicitly. Such incomplete formalisms make the modeling very difficult because modelers should know not only the formalism itself but also its problem-specific simulation algorithm. In this paper we present a formalism which can express the dynamics of systems and an simulator.

시간 페트리네트는 동시발생적인(concurrent) 시스템을 명세하기 위해 폭 넓게 사용되는 형식론 중의 하나이다. 하지만 시간 페트리네트는 그 형식론 내에서 명확하게 시스템의 역학(dynamics)을 표현하지 못하는 단점을 가지고 있다. 이와 같은 불완전한 형식론은 설계자로 하여금 형식론 자체뿐만 아니라 특정 문제에 의존적인 시뮬레이션 알고리즘까지 고려하게 함으로서 모델링을 매우 어렵게 한다. 이 논문에서는 시스템의 역학을 표현할 수 있는 동적 시간 페트리네트 형식론과 추상적인 시뮬레이터를 제안한다.