工作流的概念因能有效的提高生产组织水平和工作效率，从而被广泛地应用于企业建模。工作流模型是整个工作流技术中最为重要的环节，而模型畅通性是其它性质验证的前提。因Petri网具有易于理解的图形表达、形式化的语义定义，坚实的数学理论基础以及具备一套完备的分析方法等优点，而被广泛应用于工作流模型的描述和验证中。但Petri网在对规模较大或者结构复杂的工作流网建模时，容易引发“状态空间爆炸”的问题，该问题一直限制着Petri网技术发展和应用。　　Petri网化简技术的提出，为解决Petri网“状态空间爆炸”问题提供了一种有效的方法。为实现对工作流的畅通性验证问题的进一步简化分析，本文基于工作流的逻辑网模型进行建模，实现对业务流程的进一步的抽象。并基于工作流逻辑网的关联矩阵，对工作流逻辑网的化简规则进行描述，为工作流逻辑网的化简提供了可供编程实现的理论基础。在此基础上，一方面推导新的化简规则来提升算法效率，另一方面通过结合层次Petri网的思想，提出了工作流逻辑网的变迁抽象的概念和工作流逻辑网的子网划分方法。对于化简后不畅通的结构，可以实现更快速的定位，在局部结构调整后，不需重新构建整个业务流程的工作流逻辑网，只需对该结构所属的子网进行检验即可。　　最后通过保险理赔业务流程，利用该算法实现了对原有模型设计不合理之处的快速定位和对修正后的工作流逻辑网畅通的验证，体现了该算法在解决实际问题中的有效性。