机构名称：
¥ 1.0
摘要一致性检查的基本任务是计算给定事件日志和过程模型之间的最佳对齐。通常，众所周知，这种不可避免地会产生高计算成本，从而导致实践中的可扩展性差。攻击复杂性的一个角度是开发利用基础过程模型的特定句法限制的对齐算法。在本文中，我们研究具有独特标签的过程树的对齐。这些模型是感应矿工的输出，这是领先的过程挖掘工具也使用的最新过程发现算法家族。我们的主要贡献是一种新型算法，该算法可以有效地构建具有独特标签的过程树的操作对齐，即在多项式时间内。这与问题是NP完整的一般过程树相反，并且问题是PSPACE完整的，并且一般的工作流网络。我们在PM4PY中提供了算法的概念验证实现，并根据现实生活事件日志进行了评估。
在过程树上对齐的动态编程方法
主要关键词
相关文件推荐
