基础概念 摘自Wikipedia： 佩特里网（英语：Petri net），又译为裴氏网、派翠网络，是对离散并行系统的数学表示。 佩特里网属于离散事件动态系统，是1960年代由卡尔·亚当·佩特里发明的[1]，适合于描述异步的、并发的计算机系统模型。 佩特里网既有严格的数学表述方式，也有直观的图形表达方式。 构成元素 一个佩特里网由以下几种基本元素构成： Place (库所)：表示系统的状态，通常用圆圈表示。 Transition (变迁)：表示系统中事件的发生，通常用矩形表示。 Token (标识)：表示系统中的资源或信息，通常用实心圆点表示，放置在库所中。 Arc (弧)：连接库所和变迁，表示它们之间的关系，通常用有向箭头表示。 ...