基于Petri网可达图的业务对齐方法

来源：计算机集成制造系统杂志2020年第6期北京时间：

作者：韩咚,田银花,杜玉越,张琴

单位：1.山东科技大学矿业与安全工程学院2.山东科技大学智能装备学院3.山东科技大学计算机科学与工程学院

摘要：为提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网可达图的业务对齐方法。首先,根据给定事件日志,提取其包含的活动子集;然后,将子集中包含的活动映射到变迁,构建花型日志模型;进一步,计算花型日志模型与过程模型之间的乘积模型及其可达图;最后,给出算法在可达图中查找出事件日志中全部迹与过程模型之间基于给定代价函数的一个最优对齐和所有最优对齐。从理论上证明了该方法的适用性与有效性。通过仿真实验,验证了该方法的可行性与优越性。

关键词：Petri网,事件日志,过程模型,业务对齐,可达图

基金资助：山东省重点研发计划资助项目(2018GGX101011);泰山学者建设工程专项经费资助项目;泰安市科技发展计划(引导计划)项目(2019GX033)。