TY - JOUR T1 - A hybrid Petri net modeling approach for HVAC systems in intelligent buildings JO - Sba: Controle & Automação Sociedade Brasileira de Automatica A1 - Villani, Emilia A1 - Miyagi, Paulo Eigi SN - 0103-1759 UL - 10.1590/S0103-17592004000200003 VL - 15 Y1 - 2004 PB - Brasil ER -