graph - ペトリネットの到達可能性グラフで最終マーキングの数が定義されていないのはなぜですか?

Question

到達可能性グラフは、特定の種類の遷移システムであり、最初と未定義の数の最終マーキングがあることを何度か読んだり聞いたりしました。

しかし、到達可能性グラフを作成すると、最終的なマーキングの非常に明確なケースが得られます。これは、トランジションの起動方法によっては、最終的なマーキングがどれになるかがわからないということですか? なぜなら、最終的なマーキングの数を列挙/カウントできることは明らかです。