ペトリネットのスライス

ペトリネット（PN）スライシングは、与えられた基準に基づいてPNモデルを縮小するために使用される構文的手法です。 ^{[ 1 ] [ 2 ] [ 3 ]}非公式には、スライシング基準は、PNモデルが分析されるプロパティである場合もあれば、プレース、遷移、またはその両方のセットである場合もあります。スライスされた部分は、基準に影響を与える可能性のあるPNモデルの部分のみで構成されます。

スライシングという用語は、プログラムデバッグの文脈で M. Weiser によって造語されました。^{[ 4 ]} Wieser によると、プログラムスライスとは、プログラム P から関心のある変数と行番号に基づいてステートメントを削除することによって得られる、縮小された実行可能なプログラムであり、プログラムスライシングはプログラムの動作の一部を再現します。この用語は後にペトリネットの文脈や、代数ペトリネットなどの他のクラスのペトリネットに適用されました。^{[ 1 ] [ 2 ] [ 3 ] [ 5 ]}