Well-formed Petri net とは

よく形成されたペトリネットは、1990年代初期にパリ6大学(UniversitéP.&M. Curie)とトリノ大学の間で共同で作成されたペトリネットクラスです。
これは、K. Jensenによって導入された高水準のネット(または色付きネット)の制限です。 Well Formed Netsの主な利点は、象徴的な状態からなる象徴的な到達可能性グラフの概念です。記号状態は、ペトリネットによって記述されたシステムの状態空間におけるいくつかの具体的な状態を表す状態である。したがって、はるかに大きな状態空間を表現することができます(ゲイン係数は指数関数的に可能です)。シンボリック状態空間のこの概念は、限定された演算子の集合のみが利用可能であることを要求する(識別、放送、後継および先行関数は循環有限型で許される)。