[发明专利]基于微分Petri网的业务流程模型变化域适配方法

权利要求书

1.业务流程模型中针对变化域的模块适配方法，包括满足行为保持一致的替换模块的选取最佳适配模块的确立方法，其特征在于：分别从控制流和数据流角度通过检测目标模型的活性对替换模块进行有效性量化，并在此基础上进行基于极小支集的最佳适配模块寻找，用以有效地指导变化区域的替换修正。

2.根据权利要求1所述的替换模块有效性量化方法，其特征在于：所述的量化方法是在利用微分Petri网以及流程网控制流和数据流特征将目标模型划分为微分控制Petri网和微分数据Petri网的条件下,由微分Petri网的演化表达式，对模型的控制流网和数据流网分别进行活性演算，完成替换模块的有效性检测，检测结果可信性非常高。

3.根据权利要求1所述的基于极小支集的最佳适配模块寻找方法，其特征在于：所述的方法利用微分Petri网的结构特征将网模型进行区域划分，对替换模块的控制流网和数据流网，通过计算网模型及其离散部分与微分部分的相关不变量，并由极小支集确立极小支持数，将结构稳定性差的适配模块排除在外，对适配模块进行稳定性简约。