PetriNet

PetriNet是对离散并行系统的数学表示，其是1960年代由C.A.佩特里发明的，适合于描述异步的、并发的计算机系统模型。

• 外文名称 PetriNet
• 发明人 C.A.佩特里
• 适合 描述异步并发的计算机系统模型
• 发明时间 1960年代

　　参者台研PetriNet既有严格的数学表述方式，也有来自直观的图形表达方式。

　　在国外很多著名流单术假降既红殖脚于却脸程相关的文档中，Pet360百科riNet的数学表述用的很多，但可惜这些估计只有那些相关专业的研究生、博士生才能看得懂的，一般开发人员，能够领悟图形Notation即可。

　　经典的PN是简往杨祖宜单的过程模型，由两种节点(库所和变迁)，及有向弧，以及农谓厂衣著令牌(Token)组成的。

　语曲本队沙　PetriNet不光抽象了经典的过程模型，并描述了完备的支撑过程调度的算法:如果一个变迁的每个输入库所(input place胞鱼劳他冷配史培派)都拥有令牌，该变迁即为被允许(enable)。一个变迁被允许时，变迁将发生尽粒井分者倒培积(fire)，输入库尽团太聚载山翻宣所(input pla源福适原孙脱机围翻否另ce)的令牌被消耗，同时为输出库所(output pla视普丰凯又眼品重ce)产生令牌。

　　基于PetriNet的工作流引擎，其引申了两种节点:一种是State，一种是Activity音:其中state是演化自place，activity则演化自transition。