@inproceedings{inproceedings75ff08a8,
title   = {Proteum-RS/PN: a tool to support edition, simulation and validation of petri nets based on mutation testing},
author = {Simão, Adenilso da Silva and Maldonado, José Carlos and Fabbri, Sandra Camargo Pinto Ferraz},
year = {2000},
publisher = {UFRJ/CEFET},
booktitle   = {Simposio Brasileiro de Banco de Dados}
}