中文摘要：

多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响。调度策略研究领域中一个重要问题是如何动态可视化地呈现调度过程。颜色Petri网结合了Petri网和高级程序语言的优点,拥有严格的数学理论基础,能够对分布式系统进行图形化的模拟。提出了一种基于层次颜色Petri网的多agent调度过程建模方法,该方法对多agent任务处理的全过程进行了建模,模型中通过不同角色的agent对任务进行动态分解和调度,利用Petri网仿真工具,能够在调度过程中考察所提出的调度策略与已有调度策略相比所具有的优点,而且通过对调度简化模型的状态空间进行分析,证明了调度策略的正确性和合理性。目前这种基于Petri网的形式化的可视仿真方法和模型评价方法是其它验证方法难以实现的。

英文摘要：

Multi-agent is a typical distributed system and its＇ scheduling method is very important for the performance of the whole system. One problem in scheduling strategy research is how to simulate the scheduling process dynamically and visually. Colored Petri net is a kind of high level net system, which provides an appropriate mathematical formalism for the description, construction and analysis of distributed systems. In this paper, a modeling method of multi-agent scheduling strategy based on Hierarchical Colored Petri Nets is proposed. In this method, the whole process of task decomposing and scheduling is modeled. Different roles are endowed to agent to decompose and schedule tasks dynamically. By using simulation tools of Petri nets, the advantage of our scheduling method over others can be observed. Then, this scheduling model is proved correct and reasonable. This formal and visual simulating method and model evaluating method have not been realized by other validating methods by far.