Markov Decision Processes from Colored Petri Nets. - Monica Góes Eboli; Fábio Gagliardi Cozman (SBIA, 2010)