MAGNET: a Software Library for Markovian Agent Networks

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.

[1]  Jeremy T. Bradley,et al.  Spatial extension of stochastic π calculus , 2009 .

[2]  Marco Gribaudo,et al.  Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents , 2009, VALUETOOLS.

[3]  Marco Gribaudo,et al.  Presenting Dynamic Markovian Agents with a road tunnel application , 2009, 2009 IEEE International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems.

[4]  Willard L. Miranker,et al.  Numerical Methods for Stiff Equations , 1980 .

[5]  Marco Scarpa,et al.  A New Modelling Approach to Represent the DCF Mechanism of the CSMA/CA Protocol , 2017, ASMTA.

[6]  Boudewijn R. Haverkort,et al.  Performance and reliability analysis of computer systems: An example-based approach using the sharpe software package , 1998 .

[7]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[8]  Marco Gribaudo,et al.  Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents , 2008, 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom).

[9]  Marco Gribaudo,et al.  Disaster Propagation in Heterogeneous Media via Markovian Agents , 2008, CRITIS.

[10]  Jeremy T. Bradley,et al.  Spatial extension of stochastic Pi calculus , 2009 .

[11]  Kishor S. Trivedi,et al.  Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software , 1997, IEEE Transactions on Reliability.