서브넷의 동적인 특성에 기초를 둔 페트리넷 축약 방법

페트리망은 병열성, 동기화 및 충돌 등을 표현할 수 있는 수학적이고 시각적인 모델로서 여러 분야에서 널리 사용되고 있다. 페트리망의 여러 가지 좋은 특성에도 불구하고 복잡한 시스템 분석의 근본적인 문제점은 도달 가능한 모든 상태를 검토하기에는 너무나 많은 시간 혹은 기억공간을 필요로 한다는 것이며 페트리망의 분석은 일반적으로 지수함수 이상의 복잡도를 갖는 것으로 알려져 있다. 본 논문에는 원시 페트리망의 중요한 정보를 유지하면서 상태공간을 줄일 수 있도록 변환 가능한 서브넽을 계층적으로 변환하는 페트리망의 축약 방법이 제시되었다. 제안된 서브넽은 Suzuki, Murara의 k-well-behaved module의 개념을 확장한 것이며 서브넽 외부와의 작용을 허용하도록 transition의 외향 에지중 일부를 삭제 가능토록 하였다.