文献类型：期刊文章

作　　者：方贤文[1,2] 陶小燕[2] 刘祥伟[1]

机构地区：[1]安徽理工大学信息与计算科学系,安徽淮南232001 [2]同济大学计算机系,上海201804

出　　处：《电子学报》

基　　金：国家自然科学基金(No.61572035;No.61272153;No.61402011);安徽省自然科学基金(No.1508085MF111;No.1608085QF149);安徽省高校自然科学基金重点项目(No.KJ2016A208);安徽省学术和技术带头人资助项目(No.DG119);安徽省优秀青年人才项目

年　　份：2017

卷　　号：45

期　　号：4

起止页码：777-781

语　　种：中文

收录情况：BDHX、BDHX2014、CAS、CSCD、CSCD2017_2018、EI(收录号：20172603839277)、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：为适应业务流程多功能及动态变化的需求,用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础,提出了微分控制Petri网和微分数据Petri网的概念,分别从语义学角度利用微分Petri网的演化表达式对模型的控制流网与数据流网进行活性检测,利用微分Petri网对替换模块及其离散部分与连续部分进行结构稳定性分析,以达到业务流程模块适配分析.理论分析结果表明,所建立的微分表达式能够反映模型活性与稳定性,模块适配效果较好.最后基于平台数据进行仿真分析,实验结果表明本文所提的方法有一定的可行性.

关 键 词：微分Petri网  控制流 数据流 模块适配  

分 类 号：TP319]