带里程碑活动的业务过程对齐方法

摘要

本发明公开了一种带里程碑活动的业务过程对齐方法，涉及事件数据技术领域。带里程碑活动的业务过程对齐方法，首先，将给定迹中活动映射到Petri网的变迁，构建日志模型；其次，考察日志模型与过程模型中标记为里程碑活动的变迁，进行同步合成运算；然后，找出日志模型与过程模型中其他具有相同活动的变迁，进行乘积运算；最后，给出算法在新生成的模型中查找迹与过程模型之间基于给定代价函数的最优对齐。通过实例分析，验证了该方法的可行性与优越性。实验结果表明业务过程中含有的里程碑活动越多，计算最优对齐的效率越高。