Agent UML: a formalism for specifying multiagent software systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Debugging multi-agent systems using design artifacts: the case of interaction protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Using Colored Petri Nets for Conversation Modeling
Issues in Agent Communication
A Schema-Based Approach to Specifying Conversation Policies
Issues in Agent Communication
Ensuring consistency in the joint beliefs of interacting agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Monitoring teams by overhearing: a multi-agent plan-recognition approach
Journal of Artificial Intelligence Research
Representing conversations for scalable overhearing
Journal of Artificial Intelligence Research
A representation for coordination fault detection in large-scale multi-agent systems
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.05 |
In open distributed multi-agent systems, agents often coordinate using standardized agent communications. Thus, representing agent conversations is an important aspect of multi-agent applications. Lately, Petri nets have been found to provide certain advantages comparing to other representation approaches. Radically different approaches using Petri nets to represent multi-agent interactions have been proposed, and yet relative strengths and weaknesses of these approaches have not been examined. Moreover, no approach was shown to provide a comprehensive coverage of advanced standardized communication aspects such as those found in FIPA interaction protocols. This paper presents (i) an analysis of existing Petri net representation approaches in terms of their scalability and appropriateness for different tasks; (ii) a novel scalable representation approach, particularly suited for monitoring open systems; and (iii) a skeletal procedure for semi-automatically converting FIPA interaction protocols to their Petri net representations. We argue that the representation we propose is comprehensive, in the sense that it can represent all FIPA interaction protocol features.