55、标记 Petri 网行为相似度度量与业务流程模型索引检索

标记 Petri 网行为相似度度量与业务流程模型索引检索

标记 Petri 网行为相似度度量

主转移序列分类与计算

主转移序列（PTS）可分为三类，分别对应不同的集合：
- 非重复转移序列集合 (P1(LΣ)) ：包含属于类别 (1) 或 (2) 的 PTS，这些 PTS 对应非重复转移序列。
- 有限重复转移序列集合 (P2(LΣ)) ：主转移序列 (σ) 属于该集合，当且仅当它属于类别 (3) 且 (CLΣ · XTr_σ) 包含负数。
- 无限重复转移序列集合 (P3(LΣ)) ：除了属于 (P2(LΣ)) 的情况，其余属于类别 (3) 的主转移序列都属于该集合。

以下是计算各种类型主转移序列的算法：

Algorithm 1: Generation of the various PTS sets
Input: A coverability tree CTLΣ for a labeled Petri net LΣ
In this tree Vd is the set of dead-end nodes, Vo is the set of old nodes,
and vr is the root node
Output: P1(LΣ), P2(LΣ), P3(LΣ)
P1(LΣ) := ∅; P2(LΣ) := ∅; P3(LΣ) := ∅;
for each vf ∈ Vd ∪ Vo
begin
    if vf ∈ Vd then P1(