プレーストランジションネットで使用されるプレース不変条件の理解に役立つ

Question

与えられたプレーストランジションネットのマーキングがわかっているとします。

マーキングのいずれがプレース不変であるかはどのようにして決定しますか？私はまた、最初のマーキングを知っています。私は非常に分かりやすい説明に感謝します。

私はthis paperの17ページを読んでいます。ここでは、不変式を見つけるための式が記述されていますが、完全に理解できません。

単に不変な場所が何であるか教えてください。私がどのようにそれらを見つけることができるかを私に説明して、私はいつもこれを将来行うことができます。

場所の組（U、V、W、X、Y、Z）のための初期マーキング：

• （0,1,1,1,0,0）

他のマーキング：

1. （0,1,0,0,1,0）
2. （0,1,0,1,0,1）
3. （1,0,0,1、 0,0）

Answer 1

I、後で場所のセットは、（U、V、W、X、Y、Z）である場合、場所不変量は、トークンの合計がマーキング毎同じままであるために設定されていることを学びました。

ので、場所の不変量を形成する場所のセットは以下のとおりです。

1. （U、V） - トークンの合計は、すべてのマーキングのための1です。
2. （U、W、Y、Z） - 和（U、V、X、Y）1
3. ある - 合計は（X、Y）2
4. ある - 合計が1

あります