Time Petri Nets 합성을 위한 형식적 정의 방법

본 논문에서는 Time Petri nets의 함수적 합성방법이 제안된다. 함수적 합성방법은 트랜지션의 출력 플레이스들의 집합에서 대응하는 인접된 입력 플레이스들의 집합과의 형태에 기반을 두므로 합성의 개념은 두개의 죠인된 트랜지션들 사이에서 공통의 플레이스를 제거한 후 그것들을 결합하여 새로운 트랜지션을 만들어 내는 것이다. 그리고 소위 우리는 이것을 함수적 합성이라 부른다. Time Petri Nets에서 시간은 시스템분석에 아주 중요한 요소로 나타나고 이것은 TPN의 합성기법은 바로 시간요소의 합성이다 라는 것을 의미한다. 본 논문에서는 3가지 점화형태인 sequence, join, fork를 고려한 후 점화시간의 합성을 제안한다.