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 90
- Downloads 0
Comparison of Machine Learning Algorithms to Classify Web Pages
The ‘World Wide Web’, or simply the web, represents one of the largest sources of information in the world. We can say that any topic we think about is probably finding it's on the web. Web information comes in different...
Cultural Dimensions of Behaviors Towards E-Commerce in a Developing Country Context
Customers prefer to shop online for various reasons such as saving time, better prices, convenience, selection, and availability of products and services. The accessibility and the ubiquitous nature of the Internet facil...
Comparison and Analysis of Different Software Cost Estimation Methods
Software cost estimation is the process of predicting the effort required to develop a software system. The basic input for the software cost estimation is coding size and set of cost drivers, the output is Effort in ter...
NB-IoT Pervasive Communications for Renewable Energy Source Monitoring
Renewable sources like solar and wind energy have seen a drastic increase in the market, especially in developing countries where electricity prices are high and QoS and QoE, both are at their lowest. In this paper, we i...
Cryptography using Random Rc4 Stream Cipher on SMS for Android-Based Smartphones
Messages sent using the default Short Message Service (SMS) application have to pass the SMS Center (SMSC) to record the communication between the sender and recipient. Therefore, the message security is not guaranteed b...