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

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

1. 基本概念

• 素事件结构 ：素事件结构是一个三元组 PES = (E, Con, ≺) ，其中：
  • E 是事件的集合。
  • ≺ 是 E 上的偏序关系。
  • Con 是 E 的有限子集的集合，满足以下条件：
    • 对于任意 e ∈ E ， {e′ | e′ ≺ e} 是有限的。
    • {e} ∈ Con 。
    • 若 Y ⊆ X ∈ Con ，则 Y ∈ Con 。
    • 若 (X ∈ Con) 且 (∃e′ ∈ X : e ≺ e′) ，则 (X ∪ {e} ∈ Con) 。
  • 冲突关系 # 定义为： e # e′ ⇔ {e, e′} ∉ Con 。
  • 标记素事件结构是 (PES, l) ，其中 l 是 E