计算机集成制造系统 ›› 2019, Vol. 25 ›› Issue (第4): 809-829.DOI: 10.13196/j.cims.2019.04.003

• 当期目次 • 上一篇    下一篇

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

田银花1,2,杜玉越1,韩咚3,刘伟1   

  1. 1.山东科技大学计算机科学与工程学院
    2.山东科技大学信息工程系
    3.山东科技大学矿业与安全工程学院
  • 出版日期:2019-04-30 发布日期:2019-04-30
  • 基金资助:
    国家自然科学基金资助项目(61170078,61472228);山东省重点研发计划资助项目(2018GGX101011,2016GGX101031);泰山学者建设工程专项经费资助项目。

Aligning event logs and process models based on Petri nets

  • Online:2019-04-30 Published:2019-04-30
  • Supported by:
    Project supported by the National Natural Science Foundation,China(No.61170078,61472228),the Key Research Program of Shandong Province,China(No.2018GGX101011,2016GGX101031),and the ‘Taishan Scholar’ Construction Program of Shandong Province,China.

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

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

Abstract: To improve the efficiency of alignment in the process mining,a new alignment approach named RapidAlign was presented between event logs and process models based on Petri nets.The events in the log were observed and the transitions in the model were firing,and the activities in the log and in the model were compared to obtain the log movement,model movement and synchronous movement;the cost value was calculated,and the current states of log and model were recorded;the states with the minimum cost were selected until both log and model arrived at the final states,thus an optimal alignment graph was finally generated.In the graph,the paths from the source node to the target node included all of the optimal alignments between event log and business process model based on standard likelihood cost function.A specific and rigorous characterization was given to illustrate the availability of RapidAlign approach,and its correctness and effectiveness were proved theoretically.After a series of the simulation experiments,the superiority of RapidAlign method was verified.

Key words: optimal alignments, process mining, event logs, process models, Petri nets

中图分类号: