petri网是由carl adam pertri发明的,是一种适合并发和分布式处理应用程序的模型。
petri网是一种特殊形式的有向图:一种双向有向图(双向图有2个节点集合V1和V2,以及一个边集合E,要求每条边在V1、V2之一中有自己的初始节点,在另一个节点集合之中有自己的终止节点。)。一个集合为库所,另一个集合为变迁。库所用圆形节点表示,变迁用方形节点表示,有向弧是库所和变迁之间的有向弧,分为输入函数、输出函数。一个经典的petri网由四元组(库所,变迁,输入函数,输出函数)组成,任何图都可以映射到这样一个四元组上。库所可以容纳标记(令牌),用黑点表示,有标记的petri网是一个五元组。每个输入节点至少有一个令牌,是库所中的动态对象。库所可以拥有任意数量的令牌,两个库所或变迁之间不允许有弧。变迁的发生是完整的,且一次只能发生一个变迁。
高级的petri网是在传统petri网上进行了一些扩展,包括:令牌着色,时间扩展,层次化和时序。