經典的Petri網是簡單的過程模型,由兩種節點:庫所和變遷,有向弧,以及令牌等元素組成的。 (1)Petri網的元素: +庫所(Place)圓形節點 +變遷(Transition)方形節點 +有向弧(Connection)是庫所和變遷之間的有向弧 +令牌(Token)是庫所中的動態物件,可以從一個庫所移動到另一個庫所。+有向弧是有方向的 +兩個庫所或變遷之間不允許有弧 +庫所可以擁有任意數量的令牌 o行為 如果一個變遷的每個輸入庫所(inputplace)都擁有令牌,該變遷即為被允許(enable)。一個變遷被允許時,變遷將發生(fire),輸入庫所(inputplace)的令牌被消耗,同時為輸出庫所(outputplace)產生令牌。 +變遷的發生是完整的,也就是說,沒有一個變遷只發生了一半的可能性。 +有兩個或多個變遷都被允許的可能,但是一次只能發生一個變遷。這種情況下變遷發生的順序沒有定義。 +如果出現一個變遷,其輸入庫所的個數與輸出庫所的個數不相等,令牌的個數將發生變化,也就是說,令牌數目不守恆。 +Petri網路是靜態的,也就是說,不存在發生了一個變遷之後忽然冒出另一個變遷或者庫所,從而改變Petri網結構的可能。 +Petri網的狀態由令牌在庫所的分佈決定。也就是說,變遷發生完畢、下一個變遷等待發生的時候才有確定的狀態,正在發生變遷的時候是沒有一個確定的狀態的。 兩個變遷爭奪一個令牌的情形被稱之為衝突。當發生衝突的時候,由於Petri網的時序是不確定的,因此具體哪個變遷得以發生也是不確定的。實際應用中,往往需要避免這種情形。用於描述現象的Petri網也可能自然出現衝突,這表明我們對於變遷發生的條件沒有完全瞭解。 多個弧連線兩個節點的情況。在輸入庫所和變遷之間的弧的個數決定了該變遷變為被允許需要的令牌的個數。弧的個數決定了消耗/產生的令牌的個數。
經典的Petri網是簡單的過程模型,由兩種節點:庫所和變遷,有向弧,以及令牌等元素組成的。 (1)Petri網的元素: +庫所(Place)圓形節點 +變遷(Transition)方形節點 +有向弧(Connection)是庫所和變遷之間的有向弧 +令牌(Token)是庫所中的動態物件,可以從一個庫所移動到另一個庫所。+有向弧是有方向的 +兩個庫所或變遷之間不允許有弧 +庫所可以擁有任意數量的令牌 o行為 如果一個變遷的每個輸入庫所(inputplace)都擁有令牌,該變遷即為被允許(enable)。一個變遷被允許時,變遷將發生(fire),輸入庫所(inputplace)的令牌被消耗,同時為輸出庫所(outputplace)產生令牌。 +變遷的發生是完整的,也就是說,沒有一個變遷只發生了一半的可能性。 +有兩個或多個變遷都被允許的可能,但是一次只能發生一個變遷。這種情況下變遷發生的順序沒有定義。 +如果出現一個變遷,其輸入庫所的個數與輸出庫所的個數不相等,令牌的個數將發生變化,也就是說,令牌數目不守恆。 +Petri網路是靜態的,也就是說,不存在發生了一個變遷之後忽然冒出另一個變遷或者庫所,從而改變Petri網結構的可能。 +Petri網的狀態由令牌在庫所的分佈決定。也就是說,變遷發生完畢、下一個變遷等待發生的時候才有確定的狀態,正在發生變遷的時候是沒有一個確定的狀態的。 兩個變遷爭奪一個令牌的情形被稱之為衝突。當發生衝突的時候,由於Petri網的時序是不確定的,因此具體哪個變遷得以發生也是不確定的。實際應用中,往往需要避免這種情形。用於描述現象的Petri網也可能自然出現衝突,這表明我們對於變遷發生的條件沒有完全瞭解。 多個弧連線兩個節點的情況。在輸入庫所和變遷之間的弧的個數決定了該變遷變為被允許需要的令牌的個數。弧的個數決定了消耗/產生的令牌的個數。