Timed-Arc Petri-Nets based Agent Communication for Real-Time Multi-Agent Systems

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.

@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},
  volume    = {10},
  number    = {9},
  year      = {2019},
  publisher = {The Science and Information Organization},
  author    = {Awais Qasim and Sidra Kanwal and Adnan Khalid and Syed Asad Raza Kazmi and Jawad Hassan},
  doi       = {10.14569/IJACSA.2019.0100970},
  url       = {https://doi.org/10.14569/IJACSA.2019.0100970}
}