FoldA：基于有向 Petri 网展开计算部分序对齐

一致性检查是过程矿产的基本任务，衡量观察到的过程执行与规范过程模型的匹配程度。现有方法通过探索由过程模型与轨迹同步积分为之形成的状态空间来计算对齐。这常导致状态空间爆炸，尤其当模型具有高度选择和并发性时。此外，由于对齐本质上强加了顺序结构，它们无法充分代表许多真实世界过程中存在的并发行为。为克服这些限制，本文提出了一种新的技术，用于计算部分序对齐，使用有向 Petri 网展开式即 FoldA。我们在 485 个合成模型-日志对上评估了该技术，并将其与 Astar-和 Dijkstra-对齐方法在 13 个真实案例模型-日志对和 6 个基准对上进行比较。结果表明，尽管展开对齐需要更多计算时间，但总体上减少了排队状态的数量，并提供了更准确的并发性表征。