@mastersthesis{mastersthesis8c1a83a4,
title   = {Proteum-RS/PN: uma ferramenta para a validação de Redes de Petri baseada na análise de mutantes},
author = {Simão, Adenilso da Silva and Maldonado, José Carlos},
year = {2000},
school = {Universidade de São Paulo}
}