問題タブ [petri-net]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
66 問題
0
投票する
2
に答える
70
参照
graph - ペトリネットの到達可能性グラフで最終マーキングの数が定義されていないのはなぜですか?
到達可能性グラフは、特定の種類の遷移システムであり、最初と未定義の数の最終マーキングがあることを何度か読んだり聞いたりしました。
しかし、到達可能性グラフを作成すると、最終的なマーキングの非常に明確なケースが得られます。これは、トランジションの起動方法によっては、最終的なマーキングがどれになるかがわからないということですか? なぜなら、最終的なマーキングの数を列挙/カウントできることは明らかです。