@mastersthesis{mastersthesis9adbffce,
title   = {Ambiente para o projeto de intertravamentos utilizando redes de Petri},
author = {Kato, Edilson Reis Rodrigues and Porto, Arthur José Vieira},
year = {1999},
school = {Universidade de São Paulo}
}