Workflow Model Verification Based on Graph Reduction

• 基于图归约法的工作流模型验证