基于流程模型分解的分布式合规性检查方法 - 沈晓林; 刘聪; 李会玲; 郑凯; 程龙; 曾庆田 (计算机集成制造系统, 2024)
Keywords: conformance checking; 分布式计算; 分解; process tree; decomposition; 对齐; alignment; 合规性检查; 流程树; distributed computing