H. Borges, L. Ramos, J. Freitas, C. Rezende, and F. Barreto.
" Análise Formal de Gameplay com Redes de Petri Coloridas", in <em>Anais do XXV Simpósio Brasileiro de Jogos e Entretenimento Digital</em>, Goiânia/GO, 2026, pp. 294-305, doi: <a href="https://doi.org/10.5753/sbgames.2026.25677">https://doi.org/10.5753/sbgames.2026.25677</a>.