MAGNET: a Software Library for Markovian Agent Networks

TitleMAGNET: a Software Library for Markovian Agent Networks
Publication TypeConference Proceedings
Year of Conference2017
AuthorsScarpa, M.., and G.. Molica
Conference NameVALUETOOLS 2017: 11th EAI International Conference on Performance Evaluation Methodologies and Tools
Date Published12/2017
PublisherAssociation for Computing Machinery, New York, NY, United States
Conference LocationVenice

Continuous Time Markov Chains (CTMC) are a mathematical tool widely used in many modeling areas. Main drawback in using CTMCs is the difficulty in building and managing models with a high number of states. In [3] a new modeling technique based on Markovian Agents has been proposed to study Wireless Sensor Networks with a large number of interacting nodes. A Markovian Agent is a CTMC with the ability to interact with other Markovian Agents by sending and perceiving messages. Thanks to message mechanisms, it is possible to limit the growth of the overall state space. In this paper, we introduce a software to implement Markovian Agent models in a simple way. Software functionalities are provided through a C library we named MAGNET (Markovian AGent NETworks). It provides a simple interface to easily build complex interacting MA models and a numerical algorithm to study them in transient exploiting multi-threading.

Refereed DesignationRefereed