ある場所遷移ネットのマーキングを知っているとします。
どのマーキングが場所不変であるかを判断するにはどうすればよいですか? イニシャルマークも分かります。とても分かりやすい説明で助かります。
この論文の 17 ページを読みましたが、場所の不変条件を見つけるための式が記述されていますが、完全には理解していません。
場所不変式とは何かを単純に教えないでください。将来いつでもできるように、それらを見つける方法を教えてください。
一連の場所 (U、V、W、X、Y、Z) の初期マーキング:
その他のマーキング:
質問にお答えいただいたようですが、他の方もいらっしゃると思いますので・・・ 質問の具体例ではなく、「理解の助けが必要」というタイトルでお答えします。
場所の不変条件は、トークンの数が一定のままであるネットの領域、場所のサブセットと考えてください。トークンはリージョン内のある場所から別の場所に移動する可能性がありますが、トークンは作成されず、消滅することもありません。トランジションは、不変式のどの場所にも接続されていないか、その場所のトークンの数を変更できません。または、場所不変条件内に戻したのとまったく同じ数のトークンを取得します。これらの遷移は、不変条件の外側の場所をさらに変更する場合がありますが、それは問題ではありません。
場所の不変性を視覚化する私のお気に入りの方法は、オーバーヘッド プロジェクターを使用することです。場所、トランジション、アークをスライドに配置し、トークンに鋲を使用します。そして、私の例の場所不変式の切り抜きを用意します。この紙は、不変条件の場所を示すカットアウト領域と、それらの場所に接続された遷移を除いて、スライド全体を黒く塗りつぶします。
もちろん、このトリックはある程度しか機能しません。場所の不変条件は実際には多重集合であるため、不変の double または triple のいくつかの場所でトークンを数えなければならない場合があります。