摘要：为解决业务流程管理应用系统中模型可验证性支持不足的问题，提出一种面向应用系统的流程验证新方法。该方法利用Petri-Net网络分析原理，聚焦于工作流网络模型，在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路，形成了以Petri—Net网络不变量求解为根本的验证算法。设计了实验对算法进行理论分析验证和应用仿真验证，证明了算法的有效性。对算法进行了效率分析实验，实验结果表明，算法在验证效率上要明显优于覆盖图和因果足迹法。最后，开发了验证算法的实用工具程序包，并对其应用效果进行了展示。本文设计的流程验证方法合理高效，适合在实际系统中应用。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社