论文部分内容阅读
针对动态联盟中任务调度的特点,提出了采用时延库所Petri网对动态联盟任务调度进行建模。给出了模型的形式化描述及变迁规则,对动态联盟中的产品加工类型进行了分类,并建立了各种加工类型的时延库所Petri网模型,分析了通过模型中零时差的库所求解关键路径和利用可达图求解合理调度方案的方法。最后,以实例表明了该方法的可行性和有效性。