10、弧、位置和转移时间 Petri 网的表达能力比较

弧、位置和转移时间 Petri 网的表达能力比较

1. 相关定义与引理

在探讨不同类型时间 Petri 网（TPN）的表达能力之前，先明确一些关键定义和引理。
- 相关时钟定义 ：对于 P - TPN，在某个状态下，与标记位置 $p$ 关联的时钟 $x$ 被称为相关时钟，当且仅当该位置的标记 $M(p) = 1$。
- 引理 3 ：在 P - TPN 中，相关时钟只有在其触发区间内才能变得不相关或被重置。即若状态 $(M, dead, ν)$ 满足 $M(p) > 0$ 且 $ν(p) > 0$，当发生离散或连续转移 $(M, dead, ν) → (M ′, dead′, ν′)$ 后，若 $ν′(p) = 0$ 或 $M ′(p) = 0$，则必有 $ν(p) ∈ I(p)$。
- 证明 ：根据 P - TPN 的语义，与位置 $p$ 关联的相关时钟只有通过离散转移 $(M, dead, ν) \stackrel{t}{\longrightarrow} (M ′, dead, ν′)$ 且 $p ∈ •t$ 时，才会变得不相关或被重置（若 $p ∈ t•$ 则重置，否则变得不相关）。由于 $t$ 在状态 $(M, dead, ν)$ 下是可触发的，所以 $ν(p) ∈ I(p)$。

2. T - TPN 与 P - TPN 的关系

• 定理 7 ：不存在与图 9 中的 T - TPN $N_{T1}$ 弱时间双相似的 P - TPN。