패트리네트 분석시 상태수 감소방법과 개선된 도달성 그래프

본 논문에서는 패트리네트 분석시의 분석속도 향상방법들을 비교하고 개선된 도달성 그래프에 관하여 논한다. 패트리네트의 분석속도를 줄이기 위해, 패트리네트 구성시에 원시 패트리네트를 축소화하거나, 수행시에 점화규칙을 수정하는 방향으로 연구가 활발하다. 전자의 예로서, "축소형 패트리네트"가 있고 후자의 예로서 "최다 수행규칙"이 있다. 여기서는 이들 방법의 특성과 분석속도의 개선정도를 보이며 분석속도 측정 척도로서 도달성 그래프의 노드수(또는, 상태수)를 이용한다. 또한, 분석속도를 향상시키는 것은 아니지만, 기존의 도달성 그래프에서의 점화 순서정보와 상태정보의 손실을 줄일 수 있는 개선된 "n형 도달성 그래프"를 제시하였다.