PetriNet

數學術語

PetriNet是對離散並行系統的數學表示，其是1960年代由C.A.佩特里發明的，適合於描述異步的、並發的計算機系統模型。PetriNet既有嚴格的數學表述方式，也有直觀的圖形表達方式。
在國外很多著名流程相關的文檔中，PetriNet的數學表述用的很多，但可惜這些估計只有那些相關專業的研究生、博士生才能看得懂的，一般開發人員，能夠領悟圖形Notation即可。

過程模型

經典的PN是簡單的過程模型，由兩種節點（庫所和變遷），及有向弧，以及令牌（Token）組成的。
PetriNet不光抽象了經典的過程模型，並描述了完備的支撐過程調度的算法：如果一個變遷的每個輸入庫所（input place）都擁有令牌，該變遷即為被允許(enable)。一個變遷被允許時，變遷將發生(fire)，輸入庫所(input place)的令牌被消耗，同時為輸出庫所(output place)產生令牌。
基於PetriNet的工作流引擎，其引申了兩種節點：一種是State，一種是Activity：其中state是演化自place，activity則演化自transition。