@misc{miscd76ae73f,
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},
publisher = {EPUSP}
}