基于托肯重演的对象为中心流程合规性检查方法

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

作者：刘文娟, 刘聪, 王路, 闻立杰, 曾庆田

单位：1.山东理工大学计算机科学与技术学院2.山东科技大学计算机科学与工程学院3.清华大学软件学院

摘要：流程挖掘旨在从业务流程事件日志中发现流程对象及其关联活动间的行为关系,为业务流程的理解、分析和优化提供技术支持。然而,传统流程挖掘方法基于单一案例概念,难以有效处理涉及多个流程对象的复杂交互行为。随着业务流程复杂性的增加,对象为中心流程挖掘技术逐渐受到关注。但已有方法在处理对象为中心流程合规性检查方面存在不足,易丢失流程交互信息,导致偏差识别不准确且难以确认偏差来源。为解决上述问题,本文提出一种基于托肯重演的对象为中心流程合规性检查方法。该方法从对象为中心事件日志中构造对象图,并从中提取流程执行。然后,删除流程执行中的跨层冗余依赖,并按梯队划分事件获取绑定序列。随后,在多对象Petri网模型中按照绑定序列进行托肯重演,得到重演结果和偏差结果。通过定义的拟合度量化合规性,并辅以局部诊断技术,凸显流程中的严重偏差。最后,基于公开案例与传统方法进行对比分析,验证本文方法可以有效解决传统方法无法准确识别偏差以及难以确认偏差来源的问题,为多对象复杂流程分析提供支撑。

关键词：合规性检查,多对象Petri网,托肯重演,流程执行,流程挖掘

基金资助：国家自然科学基金资助项目(62472264,52574256);山东省杰出青年基金资助项目(ZR2025QA13);教育部人文社会科学研究资助项目(24YJCZH194);山东省泰山学者工程专项基金资助项目(TSTP20250506).