modeling - 洗濯機シャーレ

Question

ペトリネットを作るのは初めてで、洗濯機をモデリングしたいと思っています。開始しましたが、これまでのところ次のようになっています。

修正やヘルプはありますか？私は明らかにそれが正しくないことを知っていますが、私は初心者であり、皆さんが目にするかもしれない間違いに気づいていません. 前もって感謝します。

Answer 1

あなたのネットの働き方に関する最初のコメント:

• 状態に戻る矢印はありませんoff。一度洗濯機のスイッチを入れると、二度とスイッチを切ることはできませんか?
• drain両方ともdryに戻りidleます。しかし、idle にトークンがある場合は、デリケートまたは T1 に移動します。条件 (オペレーターが選択した「プログラム」) は消えないため、何度もトリガーされます。

最後の点を考慮して、この循環を避けるために、プログラムの最後に別のアイドルを設定することをお勧めします。同じ状態を数回通過する必要があるが、進行状況に応じて異なるアクションを実行する必要がある場合は、より多くのトークンを使用する必要があります。

ネットの形式についてのコメント:

• すべての円弧に 1 を付ける必要はありません。複数のトークンが必要な場合にのみ、1 を外​​して円弧上の数字を示すことで、これをより読みやすくすることができます。
• 通常、トランジションはアークに沿って配置されず (禁止するものは何もありません)、フローに対して垂直 (ここでは水平) になります。
• 原則として、「場所」（ノード）は状態またはリソースを表し、「トランジション」（長方形）は状態を変更するイベント（またはリソースを消費するアクション）を表します。命名規則はこれをよりよく反映する必要があります

Answer 2

どうやら、プロセスを停止するための条件が不足しているようです。洗濯を始めると、無限ループが続きます。