基于面向对象Petri网的多Agent系统交互协议建模

为了描述、分析和验证多Agent系统交互协议，提出了一种面向对象Petri网。与现有的形式化方法相比，面向对象Petri网能形象、直观地刻画多Agent系统复杂、并行的交互协议，可以描述其静态和动态语义，并可利用Petri网的数学分析方法对交互协议进行动态分析。面向对象Petri网还具有较好的模块性和柔性，能单独地分析参与交互的每一个Agent，而不会影响其他Agent和环境的状态。最后，利用面向对象Petri网描述了智能物理代理基金会请求协议和合同网协议，并对一个买卖Agent交互实例进行了建模和动态分析，验证了面向对象Petri网具有较好的建模能力。

Interaction protocols modeling for multi-Agent systems based on object-oriented Petri nets

To describe, analyze and verify interaction protocols in multi-agent systems, Object-Oriented Petri Nets was proposed. Compared with the current formal methods, Object-Oriented Petri Nets could visually describe the complex and concurrent interaction protocols, depict the static and dynamic semantics of interaction protocols, and analyze dynamically interaction protocols.Better modularity and flexibility of Object-Oriented Petri Nets could make it possible to independently analyze each participating agent without affecting other agents and environment.Finally,the Foundation for Intelligent Physical Agents(FIPA) Request Protocol and the Contract Protocol were described by the Object-Oriented Petri Nets, and an interaction example for a purchasing agent and a selling agent was modeled and analyzed dynamically. It was shown that Object-Oriented Petri Nets had better modeling capability than the current formalisms.