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.

Awais Qasim, Sidra Kanwal, Adnan Khalid, Syed Asad Raza Kazmi and Jawad Hassan. “Timed-Arc Petri-Nets based Agent Communication for Real-Time Multi-Agent Systems”. International Journal of Advanced Computer Science and Applications (IJACSA) 10.9 (2019). http://dx.doi.org/10.14569/IJACSA.2019.0100970

@article{Qasim2019,
title = {Timed-Arc Petri-Nets based Agent Communication for Real-Time Multi-Agent Systems},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2019.0100970},
url = {http://dx.doi.org/10.14569/IJACSA.2019.0100970},
year = {2019},
publisher = {The Science and Information Organization},
volume = {10},
number = {9},
author = {Awais Qasim and Sidra Kanwal and Adnan Khalid and Syed Asad Raza Kazmi and Jawad Hassan}
}