Trabalho sobre Redes de Petri da disciplina de Teoria da Computação PPGCC UFPI 2014.1