基于颜色Petri网的多agent动态调度建模与分析
多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响.调度策略研究领域中一个重要问题是如何动态可视化地呈现调度过程。颜色Petri网结合了Petri网和高级程序语言的优点,拥有严格的数学理论基础,能够对分布式系统进行图形化的模拟.提出了—种基于层次颜色Petri网的多agent调度过程建模方法,该方法对多agent任务处理的全过程进行了建模,模型中通过不同角色的agent对任务进行动态分解和调度,利用Petri网仿真工具,能够在调度过程中考察所提出的调度策略与已有调度策略相比所具有的优点,而且通过对调度简化模型的状态空间进行分析,证明了调度策略的正确性和合理性.目前这种基于Petri网的形式化的可视仿真方法和模型评价方法是其它验证方法难以实现的。
颜色Petri网 层次颜色Petri网 多agent调度 任务调度 优先级 形式化仿真
刘波 罗军舟 宋爱波
东南大学计算机科学与工程学院 南京 210096
国内会议
大连
中文
193-198
2007-08-01（万方平台首次上网日期，不代表论文的发表时间）