Projeto de Sistemas Embarcados 2 - Rede de Petri