Borges, H., 		Ramos, L., 		Freitas, J., 		Rezende, C., & 		Barreto, F.
2026 set 29.  Análise Formal de Gameplay com Redes de Petri Coloridas. Anais do Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames). [Online] :