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

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

1. 引言

在系统建模领域，Petri网是一种强大的工具，它能够对控制流进行全面描述。Petri网专注于建模因果依赖关系，不假设任何全局同步，因此特别适合用于分布式系统的建模。其关键元素包括条件、事件和流关系。条件有满足和不满足两种状态，事件可以发生，流关系描述了事件发生前必须满足的条件以及事件发生后变为真的条件。在图形表示中，通常用圆圈表示条件，用方框表示事件，箭头表示流关系。

2. Petri网示例：铁路轨道的互斥问题

以铁路轨道的互斥问题为例，在一条双向使用的单轨铁路上，使用一个令牌来防止相向行驶的火车发生碰撞。在Petri网模型中，令牌用模型中心的一个条件来表示。当一个部分填充的圆圈（即圆圈内包含一个填充的小圆圈）出现时，表示条件满足，意味着轨道可用。

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

一般来说，事件只有在所有前置条件都为真（或满足）时才能发生。事件发生后，前置条件不再满足，后置条件变为有效。箭头用于标识哪些条件是事件的前置条件，哪些是后置条件。

当两列火车竞争单轨路段时，下一个要触发的转换是不确定选择的。对网的分析必须考虑所有可能的触发序列，这体现了Petri网对非确定性的有意建模。

3. Petri网的类型

Petri网主要分为以下三类：
-