This article indicates a state-space based verification method of workflow model,to ensure producing the effective workflow model in the building time.

• 该文提出一种基于状态空间的工作流模型验证方法,从而确保在构造期间产生有效的工作流模型。