题目：基于Petri网的MAS建模方法的研究与实现

Agent和多Agent系统(Multi-Agent System，MAS )是当今计算机科学技术领域十分活跃的前沿研究方向之一，已被应用在商业和工业软件系统开发中，如自动驾驶、电子商务等。Agent本身特有的灵活性和相互间复杂的交互模式、以及MAS固有的并发性和异步性，导致这些系统都非常复杂，仅靠编程人员的经验和能力很难实现。因此，越来越需要一种形式化的模型为其建模，以保证系统的正确性。Petri网是一种专门为具有并发成分的系统建模而设计的具有网状结构的信息模型。利用Petri网对MAS建模，可以很好地描述MAS所具有的并发、异步、分布、不确定和随机性等特性。本论文以航空科学基金项目“分布计算MAS模型及分析技术研究”为背景，参考了国内外许多高级Petri网模型理论，结合Petri网的性质和MAS的基本特征提出了一种基于Petri网的MAS建模方法。在此建模方法的基础上，根据离散事件仿真技术的基本原理，同时借鉴已有的Petri网仿真技术，设计并实现了MAS建模与仿真的支持环境的原型。本论文的主要工作包括如下几个方面：（1）MAS建模方法研究。根据Petri网的研究成果以及对Agent和MAS技术的研究，提出了一种基于Petri网的MAS建模方法。（2）MAS仿真策略研究。本论文利用离散系统仿真策略基本原理，结合MAS基本特征，提出了一种改进的全局仿真钟和局部仿真钟相结合的仿真策略。（3）MAS建模与仿真的支持环境的原型设计与实现。根据MAS的基本特征，开发了MAS建模与仿真的支持环境的原型，为系统模型的建立者提供图形化的建模工具和仿真工具，以支持用户快速、准确地建立MAS模型，并提供相应的语法和语义检测。