摘要
一致性检测是过程挖掘研究的重要内容,现有的一致性检测方法不足以找到准确的偏差位置。本文以Petri网作为描述过程模型的形式化方法,根据基于日志的次序关系重新定义了一种基于日志的扩展次序关系,并以此定义了基于日志的扩展足迹矩阵和基于模型的扩展足迹矩阵。通过对比两个扩展足迹矩阵得到日志和模型之间精准的偏差位置。最后,通过索赔申请处理的实例验证了方法的有效性。
The methods of existing conformance checking as an important part of process mining research are not sufficient to find the correct deviation location.Based on Petri net as the formalization ways of describing process model,this paper redefined the log-based extended ordering relations via log-based ordering relations and defined the logbased extended footprint matrix and the model-based extended footprint matrix.The precise deviation locations between the log and the model are obtained by comparing two extended footprint matrices.Finally,the validity of the method was verified by an example of the handling of compensation requests.
出处
《山东科技大学学报（自然科学版）》
CAS
北大核心
2018年第2期9-15,共7页
Journal of Shandong University of Science and Technology(Natural Science)
基金
国家自然科学基金项目(61170078
61472228)
山东省泰山学者建设工程专项
山东省自然科学基金项目(ZR2014FM009)
山东省优秀中青年科学家科研奖励基金项目(BS2015DX010)
山东科技大学科技创新项目(SDKDYC170224)
关键词
一致性检测
过程挖掘
扩展次序关系
扩展足迹矩阵
偏差位置
conformance checking
process mining
extended ordering relations
extended footprint matrix
deviation location
