Borges, H., 		Ramos, L., 		Freitas, J., 		Rezende, C., & 		Barreto, F.
(2026).
 Análise Formal de Gameplay com Redes de Petri Coloridas.
In <em>Anais do XXV Simpósio Brasileiro de Jogos e Entretenimento Digital</em>, (pp. 294-305). Porto Alegre: SBC.
doi:10.5753/sbgames.2026.25677