GitHub repository: Allysonfreitas210695/MaquinaDeCafe
Created: 2025-04-15T15:49:17Z
Description:  Este projeto é desenvolvido para a disciplina de Métodos Formais de Engenharia de Software, com o objetivo de aplicar a metodologia baseada na notação Z ou em Redes de Petri.