PetriNet

Petri Net(PN) 是对离散并行系统的数学表示。Petri网是1962年由卡尔·A·佩特里发明的，适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。由于Petri网能够表达并发的事件，被认为是自动化理论的一种。研究领域趋向认为Petri网是所有流程定义语言之母。经典的Petri网是简单的过程模型，由两种节点:库所和变迁，有向弧，以及令牌等元素组成的。