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

摘要：

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

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

所属期刊栏目：26

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2020-07-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共18页

页码：1589-1606