loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
Edinburgh, Scotland, UK
September 17-September 19
ISBN: 0-7695-2883-X
M. Beccuti, Univ. del Piemonte Orientale, Italy
D. Codetta-Raiteri, Univ. del Piemonte Orientale, Italy
G. Franceschinis, Univ. del Piemonte Orientale, Italy
Serge Haddad, Univ. de Paris Dauphine, France
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.