A framework to design and solve Markov decision well-formed net models

Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007

Volumn , Issue , 2007, Pages 165-166

  Beccuti, M ^a   Codetta Raiteri, D ^a   Franceschinis, G ^a   Haddad, Serge ^b  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITÉ PARIS DAUPHINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 47949133299     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/qest.2007.32     Document Type: Conference Paper

References (7)

1. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11):1343-1360, November 1993.
2. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic petri nets. Performance Evaluation, special issue on Performance Modeling Tools, 24(1-2):47-68, November 1995.
3. D. Codetta-Raiteri, G. Franceschinis, and M. Gribaudo. Defining formalisms and models in the Draw-Net Modelling System. In 4th Int. Workshop on Modelling of Objects, Components and Agents (MOCA), pages 123-144, Turku, Finland, June 2006.
4. A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. PRISM: A tool for automatic verification of probabilistic systems. In 12th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, volume 3920 of LNCS, pages 441-444, Vienna, Austria, 2006. Springer.
5. P. Laroche. Graphmdp: A new decomposition tool for solving markov decision processes. Int. Journal on Artificial Intelligence Tools, 10(3):325-343, 2001.
6. M. Beccuti, G. Franceschinis, and S. Haddad. Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. In 28th Int. Conf. on application and theory of Petri nets and other models of concurrency (ICATPN) 2007, volume 4546 of LNCS, pages 43-62. Springer-Verlag Berlin Heidelberg, 2007.
7. M. L. Puterman. Markov Decision Processes. Discrete Stochastic Dynamic Programming. Wiley, 2005.