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

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

单位：