Petri nets: an introduction
Functional programming using standard ML
Functional programming using standard ML
Hierarchies in Coloured Petri Nets
APN 90 Proceedings on Advances in Petri nets 1990
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
KQML as an agent communication language
Software agents
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
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
Channeled multicast for group communications
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
The state of the art in agent communication languages
Knowledge and Information Systems
The Definition of Standard ML
Using Colored Petri Nets for Conversation Modeling
Issues in Agent Communication
A Schema-Based Approach to Specifying Conversation Policies
Issues in Agent Communication
Multi-Agent-Systems Based on Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
An Agent-based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce
ISADS '01 Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems
Ensuring consistency in the joint beliefs of interacting agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A framework for developing conversational agents
A framework for developing conversational agents
Towards a Formal Approach to Overhearing: Algorithms for Conversation Identification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Monitoring teams by overhearing: a multi-agent plan-recognition approach
Journal of Artificial Intelligence Research
MIP-nets: a compositional model of multiagent interaction
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Toward a semantics for an agent communications language based on speech0-acts
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A scalable petri net representation of interaction protocols for overhearing
AC'04 Proceedings of the 2004 international conference on Agent Communication
Collaboration among a satellite swarm
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Regulated multi-party communications and context awareness through the environment
Multiagent and Grid Systems - Engineering Environments in Multiagent Systems
A framework for facilitating cooperation in multi-agent systems
The Journal of Supercomputing
Autonomous Agents and Multi-Agent Systems
Engineering agent conversations with the DIALOG framework
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Information flow query and verification for security policy of security-enhanced linux
IWSEC'06 Proceedings of the 1st international conference on Security
Hi-index | 0.00 |
Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent conversation protocols. The representation of such protocols (for analysis, validation, monitoring, etc) is an important aspect of multi-agent applications. Recently, Petri nets have been shown to be an interesting approach to such representation, and radically different approaches using Petri nets have been proposed. However, their relative strengths and weaknesses have not been examined. Moreover, their scalability and suitability for different tasks have not been addressed. This paper addresses both these challenges. First, we analyze existing Petri net representations in terms of their scalability and appropriateness for overhearing, an important task in monitoring open multi-agent systems. Then, building on the insights gained, we introduce a novel representation using Colored Petri nets that explicitly represent legal joint conversation states and messages. This representation approach offers significant improvements in scalability and is particularly suitable for overhearing. Furthermore, we show that this new representation offers a comprehensive coverage of all conversation features of FIPA conversation standards. We also present a procedure for transforming AUML conversation protocol diagrams (a standard human-readable representation), to our Colored Petri net representation.