Int J Performability Eng ›› 2011, Vol. 7 ›› Issue (5): 417-428.doi: 10.23940/ijpe.11.5.p417.mag

• Original articles • Previous Articles     Next Articles

MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets

MARCO BECCUTI1, GIULIANA FRANCESCHINIS2, and SERGE HADDAD3   

  1. 1 Univ. di Torino, Italy
    2 Univ.del Piemonte Orientale, Italy
    3 LSV, ENS Cachan, France

Abstract:

MDWNsolver is a framework for system modeling and optimization of performability measures based on Markov Decision Petri Net (MDPN) and Markov Decision Well-formed Net (MDWN) formalisms, two Petri Net extensions for high level specification of Markov Decision Processes (MDP). It is integrated in the GreatSPN suite which provides a GUI to design MDPN/MDWN models. From the analysis point of view, MDWNsolver uses efficient algorithms that take advantage of system symmetries, thus reducing the analysis complexity. In this paper the MDWNsolver framework features and architecture are presented, and some application examples are discussed.
Received on December 02, 2010 and revised on March 22, 2011
References: 16