10.3778/j.issn.1002-8331.1511-0313
时间约束工作流的可调度性分析
提出一种时间约束工作流的可调度性分析方法。针对时间约束Petri网(Timing Constraint Petri Nets, TCPN)为普通Petri网无法建模多参与资源的不足,给出了扩展的时间约束Petri网(w-TCPN)的定义;结合w-TCPN的拓扑结构,从模型和实例两个层次,给出了w-TCPN变迁可调度的判定定理;提出了时间约束的调整策略。w-TCPN的研究使得时间约束工作流的建模和可调度性分析更加合理。
工作流、时间约束、可调度性分析
52
TP311(计算技术、计算机技术)
2016-07-15(万方平台首次上网日期,不代表论文的发表时间)
共5页
26-30