基于微分Petri网的业务流程模块适配方法
为适应业务流程多功能及动态变化的需求,用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础,提出了微分控制Petri网和微分数据Petri网的概念,分别从语义学角度利用微分Petri网的演化表达式对模型的控制流网与数据流网进行活性检测,利用微分Petri网对替换模块及其离散部分与连续部分进行结构稳定性分析,以达到业务流程模块适配分析.理论分析结果表明,所建立的微分表达式能够反映模型活性与稳定性,模块适配效果较好.最后基于平台数据进行仿真分析,实验结果表明本文所提的方法有一定的可行性.
微分Petri网、控制流、数据流、模块适配
45
TP319(计算技术、计算机技术)
国家自然科学基金61572035,61272153,61402011;安徽省自然科学基金1508085MF111,1608085QF149;安徽省高校自然科学基金重点项目KJ2016A208;安徽省学术和技术带头人资助项目DG119;安徽省优秀青年人才项目
2017-06-07（万方平台首次上网日期，不代表论文的发表时间）
共5页
777-781
