Petri网模型（Petri net model），工学-机械工程-〔制造系统〕-〔制造系统规划与运行〕-〔制造系统性能评价〕，用于描述复杂系统动态过程的图形化建模方法。它具有图形表达直观、理论严密等优点，适用于描述复杂系统的异步、并发行为，并可对复杂系统的死锁、冲突等动态性质进行分析。同时，Petri网模型也是制造系统建模的有效工具，可以作为一种图论工具，适用于对离散时间动态系统，如机械制造系统等进行建模与分析。Petri网理论是德国学者C.A.佩特里（Carl Adam Petri）在博士论文《用自动机通信》中首先提出来的，利用因果关系对一个并行系统进行了描述。随后引起了欧美学术界和工业界的注意。随着Petri网理论的不断发展，其应用范围也越来越广，如性能评价、通信协议和生产系统等领域。Petri网已经成为描述和研究具有异步、并发、分布、并行和非确定性信息系统的强有力工具。随机Petri网是通过在基本Petri网中引入时间的概念而逐步发展起来的。它的目标是将形式化描述、正确性验证和性能分析集成起来。