規則：http://roclinux.cn/?p=1592
經典的Petri網是簡單的過程模型，由兩種節點：庫所和變遷，有向弧，以及令牌等元素組成的。
Petri網的元素：
庫所（Place）圓形節點
變遷（Transition）方形節點
有向弧（Connection）是庫所和變遷之間的有向弧
令牌（Token）是庫所中的動态對象，可以從一個庫所移動到另一個庫所。
Petri網的規則是：
有向弧是有方向的
兩個庫所或變遷之間不允許有弧
庫所可以擁有任意數量的令牌
行為
如果一個變遷的每個輸入庫所（input place）都擁有令牌，該變遷即為被允許(enable)。一個變遷被允許時，變遷将發生(fire)，輸入庫所(input place)的令牌被消耗，同時為輸出庫所(output place)産生令牌。
注意：
變遷的發生是原子的；
有兩個變遷都被允許的可能，但是一次隻能發生一個變遷；
如果出現一個變遷，其輸入庫所的個數與輸出庫所的個數不相等，令牌的個數将發生變化；
Petri網絡是靜态的；
Petri網的狀态由令牌在庫所的分布決定。
兩個變遷争奪一個令牌的情形被稱之為沖突
多個弧連接配接兩個節點的情況。在輸入庫所和變遷之間的弧的個數決定了該變遷變為被允許需要的令牌的個數。弧的個數決定了消耗/産生的令牌的個數。
本文轉自二郎三郎部落格園部落格，原文連結：http://www.cnblogs.com/haore147/p/7183182.html，如需轉載請自行聯系原作者