基于Petri网的模型偏差域识别与模型修正  

Petri Nets Based Recognition of Model Deviation Domains and Model Repair

作　　者：杜玉越[1] 孙亚男[1] 刘伟[1] 

机构地区：[1]山东科技大学山东省智慧矿山信息技术重点省级实验室,山东青岛266590

出　　处：《计算机研究与发展》2016年第8期1766-1780,共15页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(61170078;61472228);泰山学者建设工程专项;山东省自然科学基金项目(ZR2014FM009);山东省优秀中青年科学家科研奖励基金项目(BS2015DX010)~~

摘　　要：过程挖掘技术能够通过事件日志建立过程模型,一致性检测技术能够发现过程模型和观察行为间的偏差.然而,现有的过程挖掘技术着重于发现偏差,不易于修正偏差.因此,利用一致性检测技术和工作流网模型的动态特性,提出一种基于Petri网的模型偏差域识别方法和模型修正技术(静态模型修正和动态模型修正).通过跟踪token流向,有效地识别模型偏差域,并对其进行修正,特别是能够正确修正具有循环结构、选择结构的复杂实际流程.最后,通过与其他方法的对比实验和分析,验证了本文方法的有效性和正确性.Process mining techniques can be used to discover process models from event logs.Event logs and process model can be contrasted by conformance checking techniques.And conformance checking techniques can be used to detect the deviations between observed behaviors and process model.However,existing techniques of process mining concern with discovering these deviations,but not support to repair the process model easily and make the process model more related to the real process.So in this paper we propose a token-based identification method of model deviation domains and a token-based technique of model repair（static model repair and dynamic model repair）through techniques of conformance checking and dynamic behaviors of workflow net.Model deviation domains can be identified effectively though the flow direction of token.We can repair process model according to model deviation domains.And we also can repair the real complex process accurately which has the structures of complicated circulation and choice.In this paper,the effectiveness and the correctness of techniques are illustrated through contrast experiment and analysis with other techniques.

关 键 词：一致性检测 模型修正 偏差域 工作流网 TOKEN 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]