@article{articlec9226a9a,
title   = {A hybrid Petri net modeling approach for HVAC systems in intelligent buildings},
author = {Villani, Emília and Miyagi, Paulo Eigi},
year = {2004},
doi = {10.1590/s0103-17592004000200003},
journal   = {Revita Controle & Automação}
}