Petri網有界性

Question

我想問一下Petri網（PN）的有界性。當我有一個國家s1 = (2 0 0)然後我找到狀態s2 = (2 0 1)，因爲s1 < s2我可以宣佈PN沒有界限？因爲當我有這個PN：

PN是有界的，但你可以找到那裏（2 0 0）<（2 0 1）。 所以我的問題是。我錯了Petri網的有界性，還是圖片上的PT出了問題？

Answer 1

這個網絡是有界的。你可以通過構建它的可達性圖來檢查它。

最初只有一個轉換t1已啓用。因此s1=(2 0 0)只有一個後繼狀態s2 = (1 1 0)。下面是完整的可達圖

此外觀察，沒有過渡，其具有多個傳出弧比傳入弧，因此在網不能增加的令牌的數量。這被稱爲不變的。從這個觀察結果你可以推斷，從永遠不能達到(2 0 1)狀態。