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 112
- Downloads 0
Intelligent Ambulance Traffic Assistance System
With the increase in traffic road density, several causalities occur due to delay in taking a patient to the hospital in an ambulance. In this paper, we have developed an algorithm to find the shortest path to reach the...
Vismarkmap – A Web Search Visualization Technique through Visual Bookmarking Approach with Mind Map Method
Due to the massive growth of information over the Internet, Bookmarking becomes the most popular technique to keep track of the websites with the expectation of finding out the previously searched websites easily wheneve...
framework for Marketing Libraries in the Post-Liberalized Information and Communications Technology Era
The role of library is professional and is fast customizing to altering technological platforms. Our subscriber’s perceptions of the nature of our libraries are also altering like never before – particularly...
Short Answer Grading Using String Similarity And Corpus-Based Similarity
Most automatic scoring systems use pattern based that requires a lot of hard and tedious work. These systems work in a supervised manner where predefined patterns and scoring rules are generated. This paper presents a di...
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...