TY - JOUR
T1 - MDWNsolver
T2 - A framework to design and solve markov decision petri nets
AU - Beccuti, Marco
AU - Franceschinis, Giuliana
AU - Haddad, Serge
PY - 2011/9
Y1 - 2011/9
N2 - 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.
AB - 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.
KW - Dependability optimization tool
KW - Markov decision process
KW - Markov decision well-formed nets
UR - http://www.scopus.com/inward/record.url?scp=80052234802&partnerID=8YFLogxK
M3 - Article
SN - 0973-1318
VL - 7
SP - 417
EP - 428
JO - International Journal of Performability Engineering
JF - International Journal of Performability Engineering
IS - 5
ER -