Petri 网

Petri 网（Petri Net）是一种用于建模、描述和分析系统行为的图形化工具和数学模型。它最初由德国数学家和计算机科学家卡尔·亨利克·佩特里（Carl Adam Petri）在 1962 年提出，用于表示并行分布式系统的行为。Petri 网是一个用于描述状态、变迁和变迁之间的变化过程的有向图。

Petri 网通常由以下几个基本元素组成：

1. 位置（Place）：位置表示系统中的状态或条件，它们通常用圆圈表示。一个位置可以包含一定数量的"标记"，表示资源或实体的存在。

2. 变迁（Transition）：变迁表示系统中的事件或操作，它们通常用长方形表示。变迁是触发状态变化的原因，只有在满足一定的条件时才能发生。

3. 弧（Arc）：弧表示位置和变迁之间的关系，它们用箭头连接。弧分为两种类型：输入弧（从位置指向变迁）和输出弧（从变迁指向位置）。它们表示资源的流动或条件的满足。

4. 标记（Token）：标记是放置在位置中的实体或资源，它们表示系统的状态。标记的数量表示位置中资源的数量。

Petri 网的行为模型可以通过以下方式描述：

• 当变迁满足其前提条件（输入弧中的标记数量满足要求）时，它可以发生，导致输入弧上的标记减少，输出弧上的标记增加。
• 当所有变迁都无法发生时，系统达到稳定状态。

Petri 网可用于建模各种系统，包括计算机网络、制造流程、通信协议、生物化学反应等。它有助于分析系统的行为、识别并发性问题、研究死锁和资源分配等问题，并提供了可视化的方式来理解复杂系统的运行方式。因此，Petri 网在计算机科学、工程和系统建模领域广泛应用。