基于模态Petri网寻找业务流程最优路径的新方法

摘要

一种基于模态Petri网的寻找最优行为执行路径的新方法，涉及业务流程行为有效区间的确立和基于分支有效区间的路径优化。首先根据流程网的结构特征确立分支区域集。对分支区域中的每个分支子流程，通过映射活动变迁的约束关系来计算分支有效值，以确立分支子区间，并进一步优化成分支有效区间。在分支有效区间内，考虑行为约束条件，确定每个分支子流程中的局部最优执行路径，进而逐步动态演化确定整个流程模型的最优执行路径。本发明提出了最优路径寻找的新方法，有效地解决了在行为约束下的模型网中行为有效性的计算和寻找最优路径的问题，避免了现有的固定值方法中因行为约束的存在而引起的局部最优路径变化的缺陷。

主权项

基于模态Petri网寻找业务流程最优路径的新方法，包括行为有效区间的确立和基于分支有效区间的路径优化方法，其特征在于：通过流程网的结构特征对模型中的分流部分进行区域有效性量化，分流部分区域有效量化包括对于分流部分区域划分，本发明根据流程网的结构特征，对网中执行结果存在差异的部分，将同一出入口的分支路径划分到一个总的分支区域，其内部的分支路径为分支子流程，并在此基础上进行基于分支有效区间的最优路径寻找，基于分支有效区间的最优路径寻找包括对于基于分支有效区间的最优路径查找，以分支子流程为单位，对第一区间内的第一分支子流程，计算该子流程内的局部最优执行路径；当行为执行到第二区间时，以在第一区间第一分支子流程找到的局部最优路径为基点，在行为约束条件下，计算所有执行路径的执行结果，得出局部最优路径，即为第二区间下的局部最优路径；按照上述方法，随着行为执行，可在分支有效区间内找出第一区间第一分支子流程下的最优执行路径；同理，对第一区间内的其余分支子流程，也可找出该子流程下的最优执行路径；对第一区间内所有分支子流程下的最优执行路径，通过比较行为执行结果，选出最优解下的执行路径，即为约束条件下的行为最优执行路径，用以有效地指导行为执行的路径选择。