5、基于令牌流的通用Petri网快速展开

基于令牌流的通用Petri网快速展开

1. 简化令牌流展开

在令牌流展开中，因果关系和并发关系仍存在冗余。这是因为存在一致性集合，这些集合会引发具有相同底层运行但不同令牌流分布的进程。这种一致性集合由所谓的弱相同事件引起。为避免弱相同事件，由于许多不同进程会产生一个运行，且令牌流分布对应于进程，因此我们为每个一致性集合存储一个示例令牌流分布。

我们需要扩展素事件结构模型 PES = (E, Con, ≺) ，加入令牌流，以便为每个一致性集合 C ∈ Conpre 存储一个单独的令牌流 xC :≺|C×C →NP 。对于 xC 和事件 e ∈ C ，我们定义 INC(e) = ∑e′≺e xC(e′, e) 和 OUTC(e) = ∑e≺e′ xC(e, e′) 。我们引入广义素令牌流事件结构，记为 ((PES, l), (xC)C∈Conpre) ，其中 PES = (E, Con, ≺) 是素事件结构， l 是 E 上的标记函数， (xC)C∈Conpre 是一族令牌流函数 xC :≺|C×C →NP ，满足与素令牌流事件结构类似的条件：
- 存在唯一的最小事件 einit ，对于所有 e ≠ einit ，有 l(einit) ≠