(CEN)第七章形式化方法与需求工程解析.pptVIP

四、Petri网的标记 权标(token ，令牌) Petri网位置P中的权标（用圆点表示），表示该位置持有的可激发与其连接的后继转换t的条件。 标记 （M，Mark） Petri网的标记是在Petri网中权标(token ，令牌)的分配。Petri 网 标记M 是由一组位置 P 到一组非负整数的映射，即 M ： P →｛ 0 ， 1 ， 2 ， … ｝ 其中的数字表示每个位置中当前的权标数量。 转换的激发 通常，当每个输入位置所拥有的权标数大于等于从该位置到所直接连接的后续转换 t 的线数时，就允许激发该转换 t 。此时， t所直接连接的前序位置减少一个权标（用掉了1个）；t所直接连接的后续位置增加一个权标（获得了1个）。 Petri 网具有非确定性，也就是说，如果数个转换 都达到了激发条件，则其中任意一个都可以被激发。 例：带权标的Petri网 在图 4.6 中有 4 个权标，其中一个在 P1 中，两个在 P2 中， P3 中没有，还有一个在 P4 中。上述标记可以用向量 (1, 2, 0,1）表示。 由于P2 和 P4 中有权标，因此 t1 启动 ( 即被激发 ) 。当 t1 被激发 时， P2 和 P4 上各有一个权标被移出，而 P1上则增加一个权标。 Petri 网中权标总数不是固定的，在这个例子中两个权标被移出，而 P1 上只能增加一个权标。 带标记的Pet