Timed-Arc Petri-Nets based Agent Communication for Real-Time Multi-Agent Systems
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2019, Vol 10, Issue 9
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.
Authors and Affiliations
Awais Qasim, Sidra Kanwal, Adnan Khalid, Syed Asad Raza Kazmi, Jawad Hassan
Keywords
Related Articles
- EP ID EP646213
- DOI 10.14569/IJACSA.2019.0100970
- Views 110
- Downloads 0
A New Approach for Grouping Similar Operations Extracted from WSDLs Files using K-Means Algorithm
Grouping similar operations is an effective solution to the various problems, especially those related to research because the services will be classified by joint operations. Searching for a particular operation returns...
A New Algorithm for Balancing Group Population in Collaborative Leaning Sessions
Proper group formation is essential in conducting a productive collaborative learning session. It specifies the internal structure that the collaborating groups should have based on roles. The Group formation is a dynami...
Generation of Attributes for Bangla Words for Universal Networking Language(UNL)
The usage of native language through Internet is highly demanding now a day due to rapidly increase of Internet based application in daily needs. It is important to read all information in Bangla from the internet. Unive...
The Use of Geospatial Technology for Epidemiological Chagas Analysis in Bolivia
Chagas disease is caused by the parasite Trypanosoma Cruzi and transmitted by the Vinchuca. Bolivia is the country with the highest prevalence in the South American region; for example, in 2015, there was a prevalence of...
Bi-Objective Task Scheduling in Cloud Computing using Chaotic Bat Algorithm
Cloud computing is a technology for providing services over the Internet. It gives approach to renting IT infrastructures on a short-term pay- per-usage basis. One of the service provider’s goals is to use the resources...