为适应业务流程多功能及动态变化的需求,用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础,提出了微分控制Petri网和微分数据Petri网的概念,分别从语义学角度利用微分Petri网的演化表达式对模型的控制流网与数据流网进行活性检测,利用微分Petri网对替换模块及其离散部分与连续部分进行结构稳定性分析,以达到业务流程模块适配分析.理论分析结果表明,所建立的微分表达式能够反映模型活性与稳定性,模块适配效果较好.最后基于平台数据进行仿真分析,实验结果表明本文所提的方法有一定的可行性.
In order to adapt to the requirements of the business process multi-functional and dynamic change, getting business processes with modular substitution is one of the effective ways to solve these problems. The concept of differential control Petri net and differential data Petri net are proposed based on open Petri net and differential Petri net. Liveness detec- tion in control flow and data flow of models is examined by the evolution expression of differential Petri net through seman- tics, and stability analysis of substitution module and its discrete and continuous parts are done by differential Petri net, re- spectively, to achieve business process module adaptation analysis. Theoretical analysis results show that the established mod- el of differential expression can reflect the liveness and stability of models, module adaptation effect is better. Finally, we de- velop the simulation analysis based on data platform;the experimental results show that the presented method is effective.