9、深入理解Petri网：原理、类型与应用

深入理解Petri网：原理、类型与应用

1. Petri网简介

Petri网是一种用于建模分布式系统的强大工具，它不需要全局同步，特别适合描述分布式系统中的并发和异步行为。Petri网的关键元素包括条件（Conditions）、事件（Events）和流关系（Flow Relation）。

• 条件 ：可以是满足或不满足的状态。
• 事件 ：能够发生的动作。
• 流关系 ：描述了事件发生前必须满足的条件，以及事件发生后会产生的新条件。

在图形表示中，通常用圆圈表示条件，用方框表示事件，箭头表示流关系。下面通过一个单轨铁路段的例子来详细说明。

单轨铁路段示例

这个例子用于描述铁路轨道上列车的互斥使用，轨道需要双向通行。使用一个令牌（Token）来防止相向行驶的列车发生碰撞。在Petri网表示中，令牌用模型中心的一个条件来象征。部分填充的圆圈（包含一个填充小圆圈的圆圈）表示条件满足，即轨道可用。

当一列火车想向右行驶时，“火车从左侧进入轨道”这一事件的两个必要条件得到满足，我们称这些条件为前置条件（Preconditions）。如果事件的前置条件都满足，事件就可以发生。事件发生后，令牌不再可用，也没有火车等待进入轨道，前置条件不再满足，部分填充的圆圈消失。此时，有一列火车从左向右行驶在轨道上，相应的条件得到满足，这个条件称为后置条件（Postconditions）。

一般来说，一个事件只有在其所有前置条件都为真（或满足）时才能发