Research Article
MAGNET: a Software Library for Markovian Agent Networks
@INPROCEEDINGS{10.4108/eai.5-12-2017.2274943, author={Marco Scarpa and Giuseppe Molica}, title={MAGNET: a Software Library for Markovian Agent Networks}, proceedings={11th EAI International Conference on Performance Evaluation Methodologies and Tools}, publisher={ACM}, proceedings_a={VALUETOOLS}, year={2018}, month={8}, keywords={continuous time markov chain markovian agents c library performance evaluation}, doi={10.4108/eai.5-12-2017.2274943} }- Marco Scarpa
Giuseppe Molica
Year: 2018
MAGNET: a Software Library for Markovian Agent Networks
VALUETOOLS
ACM
DOI: 10.4108/eai.5-12-2017.2274943
Abstract
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.