A framework to design and solve Markov Decision Well-formed Net models

Authors:
M. Beccuti;D. Codetta-Raiteri;G. Franceschinis;Serge Haddad
Affiliations:
Univ. del Piemonte Orientale, Italy;Univ. del Piemonte Orientale, Italy;Univ. del Piemonte Orientale, Italy;Univ. de Paris Dauphine, France
Venue:
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Year:
2007

Citing 0
Cited 3

The GreatSPN tool: recent enhancements

ACM SIGMETRICS Performance Evaluation Review
Non deterministic repairable fault trees for computing optimal repair strategy

Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Multiple abstraction levels in performance analysis of WSN monitoring systems

Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Markov Decision Process (MDP) [7] formalism is widely used for modeling systems which exhibit both non deterministic and probabilistic behaviors (e.g. distributed systems, resource management systems, : : :). Unfortunately, if the system is particularly complex then its modeling at the MDP level may be very hard; so in [6] a higherlevel formalism called Markov Decision Well-formed Net (MDWN) was proposed.