时序对齐与混合移动
摘要：针对定时模型的符合性检查进行研究，即考虑了过程中事件的顺序和每个事件的时间戳的过程模型。时间感知过程挖掘是一个不断发展的研究领域，随着寻求在过程中发现与时间相关的属性的工具的发展，对能够处理时间约束并为时间感知过程模型提供有见地的质量度量的符合性检查技术的需求也越来越大。特别是，最有用的符合性工件之一是对齐，即找到将新观察纠正为符合过程模型所需的最小更改。本文是在之前的一篇论文的基础上进行的，我们将问题定为定时对齐。在本文中，我们解决了比较定时过程时允许混合移动的情况，即事件时间戳的错误可能已经传播到其后继事件，也可能没有传播，并提供了在具有顺序因果过程的模型上进行距离计算和对齐的线性时间算法。
作者：Neha Rino (LMF, ENS Paris Saclay, MEXICO), Thomas Chatain (LMF, ENS Paris Saclay, MEXICO)
论文ID：2210.15209
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-10-28