Petri网是对离散并行系统的数学表示。 Petri网的概念源于1962年C. A. Petri 的博士论文《用自动机通信》，适合于描述异步的、并发的计算机系统模型。 Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。经过三十多年的发展，Petri网理论已经成为具有严密数学模型，多抽象层次、多用途的通用网论，并逐渐成为各相关学科的“通用语言”。Petri网作为一种图形化、数学化建模工具，能够提供一个集成的建模、分析和控制环境，为系统的设计提供便利。针对Petri网模型，除了利用可达树、可达图和状态方程等方法进行性能分析外，仿真分析也是一种有效工具。