Interaction Protocols Modeling for Multi-Agent Systems Based on Object-Oriented Petri Nets
YU Zhen-hua,CAI Yuan-li,HAN Jiu-qiang
DOI: https://doi.org/10.3969/j.issn.1006-5911.2005.08.003
2005-01-01
Computer Integrated Manufacturing Systems
Abstract: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.