A graph reduction method with 5 rules for the structural correctness verification of DCG based workflow models is presented in this paper.

• 详细论述了对基于有向有环图(DCG图)的工作流模型结构正确性进行验证的图归约法及其五种归约规则。