基于Petri网和并发调度标识图的并发任务调度的建模与分析

在云计算及网格计算环境下,由于资源具有分布、异构、动态、自治等特点,其并发任务的调度更加复杂,迫切需要强有力的图形与数学工具对其进行建模与分析。Petri网是描述与分析并发、异步、动态等事件的理想的图形与数学工具。给出了并发任务调度的加权时延Petri网模型。可达标识图是分析Petri网动态特性的一个重要工具,但它不能表达Petri网中变迁的并发关系,尤其是不便于分析被描述系统的时间特性。提出了并发调度标识图的概念,给出了构造时延Petri网的并发调度标识图的算法。最后,利用并发调度标识图分析了并行下载的时间特性。