Borges, Hugo Gabriel, Lucas Emerenciano Ramos, Joslaine Cristina Jeske de Freitas, Críscilla Maia Costa Rezende, and Franciny Medeiros Barreto.
" Análise Formal de Gameplay com Redes de Petri Coloridas." <em>Anais do XXV Simpósio Brasileiro de Jogos e Entretenimento Digital,
Goiânia/GO, 2026</em>. SBC, 2026,  
pp.294-305.