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

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