A Method of Time Constraint Workflow Model Analysis and Verification

• 工作流时序约束模型分析与验证方法