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

被引:7
作者
杜玉越
孙亚男
刘伟
机构
[1] 山东科技大学山东省智慧矿山信息技术重点省级实验室
关键词
一致性检测; 模型修正; 偏差域; 工作流网; token;
D O I
暂无
中图分类号
TP301.1 [自动机理论];
学科分类号
081202 ;
摘要
过程挖掘技术能够通过事件日志建立过程模型,一致性检测技术能够发现过程模型和观察行为间的偏差.然而,现有的过程挖掘技术着重于发现偏差,不易于修正偏差.因此,利用一致性检测技术和工作流网模型的动态特性,提出一种基于Petri网的模型偏差域识别方法和模型修正技术(静态模型修正和动态模型修正).通过跟踪token流向,有效地识别模型偏差域,并对其进行修正,特别是能够正确修正具有循环结构、选择结构的复杂实际流程.最后,通过与其他方法的对比实验和分析,验证了本文方法的有效性和正确性.
引用
收藏
页码:1766 / 1780
页数:15
相关论文
共 13 条
[1]   一种最优校准的分组算法 [J].
田银花 ;
杜玉越 .
山东科技大学学报(自然科学版), 2015, 34 (01) :29-34
[2]   基于Petri网编辑距离相似性的过程模型存储机制 [J].
李婕 ;
闻立杰 ;
王建民 .
计算机集成制造系统, 2013, 19 (08) :1832-1841
[3]   Petri网在生物信息学中的应用 [J].
林闯 ;
杨宏坤 ;
单志广 .
计算机学报, 2007, (11) :1889-1900
[4]   基于工作流网的实时协同系统模拟技术 [J].
杜玉越 ;
蒋昌俊 .
计算机学报, 2004, (04) :471-481
[5]   工作流系统模型的性能等价分析 [J].
林闯 ;
田立勤 ;
魏丫丫 .
软件学报, 2002, (08) :1472-1480
[6]  
Model repair — aligning process models to reality[J] . Dirk Fahland,Wil M.P. van der Aalst.Information Systems . 2013
[7]  
Structural distance and evolutionary relationship of networks[J] . Anirban Banerjee.BioSystems . 2011 (3)
[8]   Replaying history on process models for conformance checking and performance analysis [J].
van der Aalst, Wil ;
Adriansyah, Arya ;
van Dongen, Boudewijn .
WILEY INTERDISCIPLINARY REVIEWS-DATA MINING AND KNOWLEDGE DISCOVERY, 2012, 2 (02) :182-192
[9]  
Process Discovery using Integer Linear Programming[J] . K. v. Hee,R. Valk.Fundamenta Informaticae . 2009 (3-4)
[10]  
Conformance checking of processes based on monitoring real behavior[J] . A. Rozinat,W.M.P. van der Aalst.Information Systems . 2007 (1)