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 102
- Downloads 0
Multi-Class Breast Cancer Classification using Deep Learning Convolutional Neural Network
Breast cancer continues to be among the leading causes of death for women and much effort has been expended in the form of screening programs for prevention. Given the exponential growth in the number of mammograms colle...
A SOFT PROCESSOR MICROBLAZE-BASED EMBEDDED SYSTEM FOR CARDIAC MONITORING
This paper aims to contribute to the efforts of design community to demonstrate the effectiveness of the state of the art Field Programmable Gate Array (FPGA), in the embedded systems development, taking a case study in...
Geographic Routing Using Logical Levels in Wireless Sensor Networks for Sensor Mobility
In this paper we propose an improvement to the GRPW algorithm for wireless sensor networks called GRPW-M , which collects data in a wireless sensor network (WSN) using a mobile nodes. Performance of GRPW algorithm algori...
Effectiveness of Iphone’s Touch ID: KSA Case Study
A new trend of incorporating Touch ID sensors in mobile devices is appearing. Last year, Apple released a new model of its famous iPhone (5s). One of the most anticipated and hailed features of the new device was its Tou...
Teachme, A Gesture Recognition System with Customization Feature
Many presentation these days are done with the help of a presentation tool. Lecturers at Universities and researchers in conferences use such tools to order the flow of the presentation and to help audiences follow the p...