Este trabalho propõem uma nova metodologia para modelagem de sistemas de ar condicionado em Edifícios Inteligentes. Para possibilitar a integração com outros sistemas do edifício, o sistema de ar condicionado é caracterizado como híbrido. A metodologia proposta consistem em uma abordagem do tipo top-down baseada em redes de Petri. A partir de um modelo abstrato construído usando Production Flow Schema, modelos baseados em redes de Petri são obtidos através de detalhamentos sucessivos. A parte discreta é modelada usando redes de Petri Lugar-Transição e a parte contínua é modelada usando sistemas de equações diferenciais. A interface entre as duas partes é realizada pelas redes de Petri Predicado Transição Diferenciais.
Sistemas híbridos; redes de Petri; edifícios inteligentes; sistemas de ar condicionado