论文部分内容阅读
提出一种时间约束工作流的可调度性分析方法。针对时间约束Petri网(Timing Constraint Petri Nets,TCPN)为普通Petri网无法建模多参与资源的不足,给出了扩展的时间约束Petri网(w-TCPN)的定义;结合w-TCPN的拓扑结构,从模型和实例两个层次,给出了w-TCPN变迁可调度的判定定理;提出了时间约束的调整策略。w-TCPN的研究使得时间约束工作流的建模和可调度性分析更加合理。