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

• A Method of Time Constraint Workflow Model Analysis and Verification