Hugo Gabriel Borges, Lucas Ramos, Joslaine Cristina Freitas, Críscilla Rezende, and Franciny Barreto. 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>, setembro 29, 2026, Goiânia/GO, Brasil. SBC, Porto Alegre, Brasil, 294-305. DOI: <a href="https://doi.org/10.5753/sbgames.2026.25677">https://doi.org/10.5753/sbgames.2026.25677</a>.