Projeto de game utilizando Redes de Petri