Petri 网是一种用于描述离散的、分布式系统的数学建模工具。其概念起源于 1939 年 8 月，当时 13 岁的 Carl Adam Petri 发明了它并使用它作为描述化学反应过程的工具。1962 年，Carl Adam Petri 以其著名的论文“Kommunikation mit Automaten”获得博士学位。在该论文中，他正式提出了 Petri 网论，这一年被视作 Petri 网的诞生之年。1970 年以后，Petri 又将他的网论发展为通用网论。现在，世界各地有许多科研人员专注于 Petri 网的研究，每年都举行 Petri 网国际会议。

它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护.

简单的petri网含有四个基本元素:

place（库所）：一般用圆圈表示，可以形容为容纳资源/托肯的场所。它可以有容量限制也可以假设为容量无穷大；

transition（变迁）：一般用矩形或者一条短线表示，描述了从一个状态到另一状态的变化。变迁的发生一般是原子性的，即不可中断；

arc（有向弧）：一般用一段有向弧表示，从库所指向变迁或者由变迁指向库所，表征了两者之前一种偏序关系。弧上可以设定权值大小，即一次性消耗的资源数目；

token（托肯）：即网系统中的资源，托肯的数目即资源数。在活的网系统中，资源可以在库所变迁中不断流动。

它可以用来检测协议中的错误,死锁状态。