Markov Decision Petri Net and Markov Decision well-formed net formalisms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4546 LNCS, Issue , 2007, Pages 43-62

  Beccuti, M ^a   Franceschinis, G ^a   Haddad, S ^b  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITÉ PARIS DAUPHINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES; SYNTACTICS;

MARKOV DECISION PETRI NETS (MDPNS); MARKOV DECISION PROCESSES; SYMBOLIC REACHABILITY GRAPH;

PETRI NETS;

EID: 38149104674     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73094-1_6     Document Type: Conference Paper

References (13)

1. Alur, R., Henzinger, T.: Reactive modules. Formal Methods in System Design 15(1), 7-48 (1999)
2. Beccuti, M., Franceschinis, G., Haddad, S.: Markov Decision Petri Net and Markov Decision Well-formed Net formalisms. Technical Report TR-INF-2007-02-01, Dipartimento di Informatica, Università del Piemonte Orientale (2007) http://www.di.unipmn.it/Tecnical-R
3. Bianco, A., de Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Thiagarajan, P.S. (ed.) Foundations of Software Technology and Theoretical Computer Science. LNCS, vol. 1026, pp. 499-513. Springer, Heidelberg (1995)
4. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers 42(11), 1343-1360 (November 1993)
5. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A symbolic reachability graph for coloured Petri nets. Theoretical Computer Science 176(1-2), 39-65 (1997)
6. Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: 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)
7. de Alfaro, L.: Temporal logics for the specification of performance and reliability. In: Reischuk, R., Morvan, M. (eds.) STACS 97. LNCS, vol. 1200, pp. 165-176. Springer, Heidelberg (1997)
8. de Alfaro, L.: Stochastic transition systems. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 423-438. Springer, Heidelberg (1998)
9. Demaille, K., Peyronnet, S., Sigoure, B.: Modeling of sensor networks using XRM. In: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus (2006)
10. Garavel, H., Hermanns, H.: On combining functional verification and performance evaluation using CADP. In: FME 2002. LNCS, vol. 2391, pp. 10-429. Springer, Heidelberg (2000)
11. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol. 3920, pp. 441-444. Springer, Heidelberg (2006)
12. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons, New york (1995) http://www.di.unito.it/~greatspn
13. Puterman, M.L.: Markov Decision Processes. In: Discrete Stochastic Dynamic Programming, Wiley, Chichester (2005)