petri网

petri网是由carl adam pertri发明的，是一种适合并发和分布式处理应用程序的模型。

    petri网是一种特殊形式的有向图：一种双向有向图（双向图有2个节点集合V1和V2，以及一个边集合E，要求每条边在V1、V2之一中有自己的初始节点，在另一个节点集合之中有自己的终止节点。）。一个集合为库所，另一个集合为变迁。库所用圆形节点表示，变迁用方形节点表示，有向弧是库所和变迁之间的有向弧，分为输入函数、输出函数。一个经典的petri网由四元组（库所，变迁，输入函数，输出函数）组成，任何图都可以映射到这样一个四元组上。库所可以容纳标记（令牌），用黑点表示，有标记的petri网是一个五元组。每个输入节点至少有一个令牌，是库所中的动态对象。库所可以拥有任意数量的令牌，两个库所或变迁之间不允许有弧。变迁的发生是完整的，且一次只能发生一个变迁。

   高级的petri网是在传统petri网上进行了一些扩展，包括：令牌着色，时间扩展，层次化和时序。