基于Petri网的模型偏差域识别与模型修正
来源：计算机研究与发展杂志2016年第8期北京时间：
作者：杜玉越,孙亚男,刘伟,
摘要：过程挖掘技术能够通过事件日志建立过程模型，一致性检测技术能够发现过程模型和观察行为间的偏差.然而，现有的过程挖掘技术着重于发现偏差，不易于修正偏差.因此，利用一致性检测技术和工作流网模型的动态特性，提出一种基于Petri网的模型偏差域识别方法和模型修正技术(静态模型修正和动态模型修正).通过跟踪token流向，有效地识别模型偏差域，并对其进行修正，特别是能够正确修正具有循环结构、选择结构的复杂实际流程.最后，通过与其他方法的对比实验和分析，验证了本文方法的有效性和正确性.
关键词：一致性检测, 模型修正, 偏差域, 工作流网, token,
