基于工作流的Petri网结构化建模方法，证明了工作流网的T一不变量和P一不变量的存在性、可覆盖性，给出了一个工作流模型完整性的充要条件，进一步得到了基于丁一不变量的多项式分解算法，与以往非多项式分解算法相比，克服了遍历的不足，降低了算法复杂度，给出的实例验证了算法的有效性．