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

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

作者：田银花,杜玉越,韩咚,刘伟

单位：1.山东科技大学计算机科学与工程学院2.山东科技大学信息工程系3.山东科技大学矿业与安全工程学院

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

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

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