@mastersthesis{mastersthesisfcbda605,
title   = {Sistema computacional de representação e manipulação de redes de Petri},
author = {Alves, Gustavo Ribeiro and Santos Filho, Diolino Jose dos},
year = {2006},
school = {Universidade de São Paulo}
}