Borges, Hugo Gabriel, 		Ramos, Lucas, 		Freitas, Joslaine Cristina, 		Rezende, Críscilla, E 		Barreto, Franciny.
" Análise Formal de Gameplay com Redes de Petri Coloridas" <em>Anais do Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames)</em> [Online], (29 setembro 2026)