Abstract
This research focuses on Timed-Arc Petri-nets-based agent communication in real-time multi-agent systems. The Agent Communication Language is a standard language for the agents to communicate. The objective is to combine Timed-Arc Petri-nets and FIPA Performatives in real-time multi-agent systems. FIPA standards provide a richer framework for the interaction of agents and makes it easier to develop a well-defined system. It also ensures the management by precisely specifying the agent’s interaction. Though FIPA protocol has already been described with the help of Petri-nets but this specification lacks the timing aspect that is a dire need for real-time multi-agent systems. The main objective of this research is to provide a method of modeling existing FIPA performatives by combining Timed-Arc Petri-nets in real-time multi-agent systems. We have used properties, such as liveness, deadlock and reachability for the formal verification of the proposed modeling technique.
Highlights
Modeling of agents for the transmission of messages is much needed as agents interact with one another to achieve goals
In the formal specification of Real-Time MultiAgent Systems (RTMAS), agents interact with one another to achieve their goals within time constraints
We have formally modeled FIPA performatives in RTMAS using Timed Arc PetriNets (TAPNs) for agent communication
Summary
Modeling of agents for the transmission of messages is much needed as agents interact with one another to achieve goals. MAS’s have been formally specified using petri-nets but no such work has been done for the formal modeling of agent communication protocols in real-time environment. The main idea of this research is to formally model the existing FIPA performatives by Timed Arc PetriNets (TAPNs) in real-time multi-agent systems. The work of [15] describes the formal specification approach for the presentation of communicative agents. It explores the internal state of agents and behavior of interactive agents. In the formal specification of RTMAS, agents interact with one another to achieve their goals within time constraints This element is required for their correct functioning. The model is verified with the fragments of TCTL whose fragments are AF, AG, EG and EF
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
