期刊文献+

基于Petri网的模型偏差域识别与模型修正 被引量:7

Petri Nets Based Recognition of Model Deviation Domains and Model Repair
下载PDF
导出
摘要 过程挖掘技术能够通过事件日志建立过程模型,一致性检测技术能够发现过程模型和观察行为间的偏差.然而,现有的过程挖掘技术着重于发现偏差,不易于修正偏差.因此,利用一致性检测技术和工作流网模型的动态特性,提出一种基于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.
出处 《计算机研究与发展》 EI CSCD 北大核心 2016年第8期1766-1780,共15页 Journal of Computer Research and Development
基金 国家自然科学基金项目(61170078 61472228) 泰山学者建设工程专项 山东省自然科学基金项目(ZR2014FM009) 山东省优秀中青年科学家科研奖励基金项目(BS2015DX010)~~
关键词 一致性检测 模型修正 偏差域 工作流网 TOKEN conformance checking model repair deviation domains workflow net token
  • 相关文献

参考文献5

二级参考文献100

  • 1van der Aalst W.M.P.. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 1998, 8(1): 21~66 被引量:1
  • 2Adam N.R., Atluri V., Huang W.K.. Modeling and analysis of workflows using Petri nets. Journal of Intelligent Information Systems, 1998,10(2): 131~158 被引量:1
  • 3van der Aalst W.M.P.. Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries. Information & Management,2000,37(1):67~75 被引量:1
  • 4Knorr K., Weidner H.. Analyzing separation of duties in Petri net workflows. Lecture Notes in Computer Science 2052, Berlin: Springer-Verlag, 2001, 2052: 102~115 被引量:1
  • 5Grimm R., Ochsenschlager P.. Binding telecooperation--A formal model for electronic commerce. Computer Networks, 2001,37(2): 171~193 被引量:1
  • 6Nitsche U.. Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks. Journal of Systems and Software, 1998, 40(3): 227~248 被引量:1
  • 7Du Yu-Yue, Jiang Chang-Jun. Formal representation and analysis of batch stock trading systems by logical Petri net workflows. Lecture Notes in Computer Science 2495, New York: Springer-Verlag, 2002, 221~225 被引量:1
  • 8Du Yu-Yue, Jiang Chang-Jun. Formal analysis of an online stock trading system by temporal Petri nets. In: Proceedings of 2001 International Conference on Computer Networks and Mobile Computing, Beijing, China, 2001, 197~202 被引量:1
  • 9Murata T.. Petri nets: Properties, analysis and applications. Proceedings of the IEEE,1989, 77(4): 541~580 被引量:1
  • 10Jiang Chang-Jun. PN Machine Theory of Discrete Dynamic Systems. Beijing: Science Press, 2000(in Chinese)(蒋昌俊. 离散事件动态系统的PN机理论. 北京:科学出版社,2000) 被引量:1

共引文献75

同被引文献43

引证文献7

二级引证文献14

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部