基于Petri网的事件日志与过程模型对齐方法

摘要：

为了提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网的事件日志与过程模型之间的快速对齐方法——RapidAlign方法.该方法在观察日志的同时运行模型,比对日志活动与模型活动,从而得到日志移动、模型移动和同步移动;根据移动类型计算代价值,并记录日志和模型的当前状态;选取代价值最小的状态继续日志的观察和模型的运行,直到日志和模型均到达结束状态.最终生成一个最优对齐图,其源节点到终节点之间的路径包含了基于标准似然代价函数的事件日志与业务过程模型之间的所有最优对齐.对RapidAlign方法的适用性进行了详细且严格的描述,从理论上证明了该方法的正确性与有效性.通过仿真实验,验证了RapidAlign方法的优越性.

关键词：最优对齐、过程挖掘、事件日志、过程模型、Petri网

所属期刊栏目：25

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

资助基金：国家自然科学基金资助项目61170078,61472228;山东省重点研发计划资助项目2018GGX101011,2016GGX101031;泰山学者建设工程专项经费资助项目

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

页数：共21页

页码：809-829