Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Edinburgh, Scotland, UK September 17-September 19 ISBN: 0-7695-2883-X
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2007.32
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.
Citation:
M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, Serge Haddad, "A framework to design and solve Markov Decision Well-formed Net models," qest, pp.165-166, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||