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  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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.