Slicing Petri nets とは

ペトリネット(PN)スライシングは、与えられた基準に基づいてPNモデルを縮小するために使用される統語手法です。非公式には、スライシング基準は、PNモデルが分析されるプロパティ、または場所、遷移、またはその両方のセットであるプロパティとすることができる。スライスされた部分は、基準に影響する可能性のあるPNモデルの部分のみを構成します。