시스템분석을 위한 Petri Nets의 축소방법

Abstract

전산기의 Hardware와 Software 분석에 이용되는 Prtri nets의 축소 방법에 대하여 논의하였다. macro-place와 macro-transition의 개념을 소개하였으며, Reducible Subnet를 정의하였다. 복잡한 net 내에서 R-educible Subnet를 축소함으로써 원래 net를 간단히 할 수 있으며, 이 축소된 net는 원래 net가 가진 특성(liveness, boundedness 등)을 간직하고 있다. 따라서 축소된 net를 분석함으로서 원래 복잡한 net의 특성을 연구할 수 있다.