Dentre as tendências de uso racional de recursos, principalmente energia, e da necessidade de assegurar a produtividade e qualidade na execução de atividades produtivas, destaca-se o conceito de edifício inteligente. Este ambiente materializa o conceito de integração dos sistemas prediais potencializando a otimização dos recursos e a eficiência do trabalho humano. Neste contexto, abordagens conceituais baseadas em sistemas a eventos discretos e técnicas derivadas de rede de Petri têm sido introduzidas como uma alternativa eficaz de modelagem e análise das soluções de integração dos sistemas prediais. Um resultado expressivo destas iniciativas são os métodos propostos para a modelagem e análise de estratégias de gerenciamento de sistemas de ar condicionado, utilizando uma abordagem híbrida, onde são considerados os aspectos de sistemas a eventos discretos e as variáveis de dinâmica contínua. Contudo, as abordagens e métodos existentes são limitados a soluções específicas de implementação, como os sistemas de ar condicionado com volume de ar contínuo. Assim, o presente trabalho introduz uma extensão destas abordagens para modelar e analisar soluções de automação predial que incluem sistemas de ar condicionado com volume de ar variável. A eficiência deste método na concepção e validação destas soluções é ilustrada através de um estudo de caso.

Among the trends of rational use of resources, especially energy, and the need to ensure productivity and quality in the implementation of productive activities, there is the concept of intelligent building. This environment materializes the concept of integrating building systems, powering the optimization of resources and the efficiency of human labor. In this context, conceptual approaches that are based on systems of discreet events and techniques, which are derived from the Petri nets, have been introduced as an effective alternative to modeling and analysis of solutions of building systems integration. A significant result of these initiatives are the proposed methods for modeling and the analysis of strategies for air conditioning systems management using a hybrid approach where the aspects of systems of discreet events and the variables of continuing dynamic are considered. However, the existing methods and approaches are limited to their specific implementation solutions, such as air conditioning systems with continuous volume of air. Thus, this work introduces an extension of these approaches to model and analyze the building automation solutions that include air conditioning systems with variable volume of air. The efficiency of this method in the design and validation of these solutions is illustrated through a case study.