petri-net - トークンが追加されないのはなぜですか?

Question

この記事を読むと、次のように書かれています。

有効な遷移が発生すると、各入力場所から 1 つのトークンが削除され、各出力場所に 1 つのトークンが追加されます。

次のネットがあり、すべてが単一のアークである場合

ここに画像の説明を入力

T1 を起動した後、P2 には P1 と P4 からの 2 つのトークンが含まれていると予想します。しかし、結果は P2 の 1 つのトークンです。数学に深く入り込まずに、どうやってそれを説明することができるでしょうか?

score 3 · Accepted Answer

ペトリネットについて考える 1 つの方法は、場所が述語を表し、遷移が述語の真理値を変更するイベントを表す述語/イベントネットとしてそれらを見ることです。トークンは、特定の一連のイベントの後、どの述語が真であるかを示します。

たとえば、あなたのネットは、大学の図書館での次の状況のモデルになることができます

 P1 = "A book is available at the library"
 P4 = "A book is needed by a student"
 P2 = "The student has the book"

と

 T1 = "A book is dispatched to a student"

そして、とが真の場合、つまりトークンを保持している場合にのみ発火T1が可能です。発射後、 and条件が無効化されてtrue になる状態に到達します。P1P4T1P1P4P2

ペトリネットをこのように解釈すると、トークンは重要ではなく、システム内のトークンの数、つまり特定の状態で真である述語の数は、特別な介入なしに変更できることを簡単に納得できます。

ペトリネットはさまざまな解釈を提供します。トークンの数を確実に同じに保つために、ペトリネットには、各遷移が同じ数の入力アークと出力アークを持つプロパティが必要であることは簡単にわかります。

2 に答える 2