论文部分内容阅读
多Agent系统是近年来分布式人工智能的一个研究热点。随着对其研究的深入和应用的推广，急需一种建模技术对其进行形式化描述。针对这个问题，该文提出了一种使用PetriNet形式化表示多Agent系统的方法，分别从单个Agent视图和整个Agent系统的全局视图对其加以描述，以便进一步的分析和评估。