pMGTS

pMGTS(perfect MGTS)は、与えられたペトリネットの発火規則にある種の制限をかけたもので、pMGTSの到達可能問題は解くことが出来ます。