对象为中心流程模型挖掘与正确性验证方法

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

作者：刘文娟, 刘聪, 张在贵, 李彩虹, 程龙, 曾庆田

单位：1.山东理工大学计算机科学与技术学院2.山东科技大学计算机科学与工程学院3.济南浪潮数据技术有限公司4.华北电力大学控制与计算机工程学院

摘要：流程挖掘旨在从企业信息系统的事件日志中还原业务流程模型,为理解、改进和优化业务流程提供技术支持。传统流程挖掘技术面向单一对象,无法体现实际流程对象中存在的一对多和多对多等复杂关联关系,若将传统流程挖掘技术直接应用到多对象业务流程中,需要将原始数据中的复杂关联关系扁平化,导致挖掘结果中多对象间的协同与交互关系缺失。针对以上问题,首先提出一种对象为中心流程模型挖掘方法,可以从对象为中心事件日志中挖掘多对象Petri网流程模型,来精准描述多对象复杂交互业务行为。进而,针对多对象Petri网模型的正确性验证问题,提出了基于扩展多对象Petri网可达性分析的正确性验证方法。最后,通过应用案例与传统流程挖掘方法比较验证了所提方法的正确性和有效性。

关键词：对象为中心流程挖掘,模型挖掘,多对象Petri网,正确性验证

基金资助：国家重点研发计划资助项目(2022ZD0119501);国家自然科学基金面上资助项目(62472264,52374221);山东省泰山学者工程专项基金资助项目(ts20190936,tsqn201909109);山东省自然科学基金优秀青年基金资助项目(ZR2021YQ45);山东省高等学校青创科技计划创新团队资助项目(2021KJ031);山东省自然科学基金面上资助项目（ZR2022MF319）。