@mastersthesis{mastersthesis352b4a41,
title   = {Aplicação de redes de Petri interpretadas na modelagem de sistemas de elevadores em edifícios inteligentes},
author = {Bastidas Gustin, Gladys Deifan and Miyagi, Paulo Eigi},
year = {2000},
school = {Universidade de São Paulo}
}