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

摘要

一种基于微分Petri网的寻找业务流程模型变化域最佳适配模块的新方法，涉及基于微分Petri网的适配模块的确立和基于极小支集的模块优化。首先根据开放Petri网将待补模型和适配模块组成目标模型，利用微分Petri网得到其对应的控制流网和数据流网，由微分Petri网演化表达式检测网模型的活性，选出可适配模块。然后，对适配模块的控制流网和数据流网以及其离散和微分部分，依次计算并比较极小支持数，逐步确定待补模型的最佳适配模块。本发明提出了业务流程模型变化域最佳适配方法，有效地解决了在控制流和数据流约束下的模型适配问题，避免了现有的结构匹配方法中因数据信息的忽略而引起的局部最适模块的缺陷。

主权项

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