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.
Original language | English |
---|---|
Pages (from-to) | 417-428 |
Number of pages | 12 |
Journal | International Journal of Performability Engineering |
Volume | 7 |
Issue number | 5 |
Publication status | Published - Sept 2011 |
Keywords
- Dependability optimization tool
- Markov decision process
- Markov decision well-formed nets