工作流模型验证及分解的多项式算法分析

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