Verification of Temporal Consistency in Dynamic Modification of Workflow Based on Time Constraint Petri Nets

• 基于时间约束Petri网的工作流动态一致性检验