Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-23T18:15:28Z (GMT). No. of bitstreams: 1 260130.pdf: 3784188 bytes, checksum: 173b5bffaf15865b3bfa95b209334ffa (MD5) / Este trabalho tem como objetivo enunciar organizadamente as diferentes abordagens de síntese de supervisores em sistemas a eventos discretos (supervisor não-marcador, supervisor marcador e supervisor desmarcador) e reluzi-los utilizando métodos de otimização como Programação Linear Inteira Mista (PLIM) e Algoritmos Genéticos (AG). Para tal, propõe-se uma metodologia original para se representar a marcação de estados por meio de eventos de marcação e reduzir supervisores por meio de coberturas de controle independentemente do tipo de supervisor. Como resultado, primeiramente demonstra-se matematicamente a equivalência entre a marcação de estados tradicional e a marcação por eventos de marcação. Então, substitui-se a condição de consistência da marcação durante a redução de supervisores por um problema de controlabilidade dos eventos de marcação. Além disso, e ainda utilizando eventos de marcação, o problema da redução de supervisores é modelado em PLIM e AG, chegando-se a reduzir supervisores de 384 estados (por meio de PLIM) e de 96 estados (por meio de AG). Ao final, concluem-se as metodologias propostas e estabelecem-se perspectivas para trabalhos futuros.

Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2016-08-15T20:00:03Z No. of bitstreams: 2 Dissertacao - Joao Ricardo Braga de Paiva - 2016.pdf: 14227997 bytes, checksum: 3c191bf387f29137782a51d5673851e6 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Rejected by Luciana Ferreira (lucgeral@gmail.com), reason: Não consta o título em português, só em inglês e na citação o nome dele não está como quer ser citado, de acordo com o currículo lattes: Nome em citações bibliográficas PAIVA, J. R. B. Detalhe, não sei se no formulário de metadados ele preencheu como você colocou. on 2016-08-17T11:36:19Z (GMT) / Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2016-08-17T16:45:46Z No. of bitstreams: 2 Dissertacao - Joao Ricardo Braga de Paiva - 2016.pdf: 14723579 bytes, checksum: ed8f1d6ddc6fd84e86378bbe63427ee7 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Cláudia Bueno (claudiamoura18@gmail.com) on 2016-08-17T16:47:20Z (GMT) No. of bitstreams: 2 Dissertacao - Joao Ricardo Braga de Paiva - 2016.pdf: 14723579 bytes, checksum: ed8f1d6ddc6fd84e86378bbe63427ee7 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-08-17T16:47:20Z (GMT). No. of bitstreams: 2 Dissertacao - Joao Ricardo Braga de Paiva - 2016.pdf: 14723579 bytes, checksum: ed8f1d6ddc6fd84e86378bbe63427ee7 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-04-27 / Outro / This work presents metric for complexity calculation in discrete event systems. The proposed methodology uses the dynamics of the system taking into account their active connections, mapped in relationship matrix. The complexity metric is applied to three distinct systems. The results show the relationship between the complexity and specic characteristics of each system. The proposed method combines knowledge about the system, contributing to behavior and performance analysis. / Este trabalho apresenta métrica para cálculo de complexidade em sistema a eventos discretos. A metodologia proposta utiliza a dinâmica do sistema levando em consideração suas conexões ativas, mapeadas na matriz de relacionamento. A métrica de complexidade é aplicada a três sistemas distintos. Os resultados obtidos apresentam a relação entre a complexidade e as características específicas de cada sistema. O método proposto agrega conhecimento sobre o sistema, contribuindo para análises de comportamento e desempenho.

Uma vez que uma aplicação ou projeto tenha sido identificado como sujeito ao uso da simulação, decisões devem ser tomadas acerca de como conduzir os estudos. Embora não haja regras definitivas, alguns passos são geralmente recomendados, tais como: planejamento do estudo, definição do sistema, construção do modelo, execução dos experimentos, análise dos resultados e relatório final. E, a construção do modelo é uma das etapas mais demoradas e complexas. Na execução dos experimentos, e na análise dos resultados a Realidade Virtual (RV) é uma interface que pode fornecer um suporte importante para a tomada de decisões, pois a RV auxilia na criação de mundos virtuais semelhantes ao mundo real, que ajudam na compreensão do funcionamento dos sistemas. Este trabalho propõe um metamodelo para o desenvolvimento de sistemas de simulação de eventos discretos com interface de RV aplicados a ambientes ou estações de trabalho de manufatura. A proposta do metamodelo é composto por quatro módulos: i) de edição e validação de modelos, ii) de criação, edição e execução de ambientes virtuais, iii) de conexão para efetuar o elo entre os dois primeiros módulos e, iv) de controle para gerenciar a comunicação e controlar a simulação. Como resultado tem-se a simulação centralizada baseada no modelo descrito em Rede de Petris (RP) com interface de RV distribuída. O sistema computacional gerado pelo metamodelo auxiliará no aprendizado e compreensão do problema simulado, e ainda permitirá ao usuário o envolvimento através da iteração. / The VR aids in the creation of virtual worlds similar to the real world, helping in understanding how a system works. This research work is concerned with the development of a discrete-event system simulation based on Petri Nets, with Virtual Reality interface for manufacturing environment or workstations. The system is composed of four modules, the first is model editing and validation, the second module is a modeling tool for virtual objects and/or a library of virtual elements, the third module makes the link between the two previous modules, and finally, the fourth is a simulation and control module. The centralized simulation is based on models described by Petri Nets with distributed RV interface resulting in a flexible and consistent system. The system will help users in learning and understanding the simulation problem, and it will also allow the user\'s integration with the environment through the interaction, and through distributed interface.

O rápido avanço tecnológico nestes últimos anos, principalmente dos recursos computacionais e de comunicação, permite que os sistemas produtivos (SP) evoluam tanto no seu aspecto estrutural quanto no comportamental para que atendam às necessidades crescentes do mercado. Os elementos integrantes dos SP vêm incorporando estes avanços, atingindo maior autonomia e flexibilidade p ara cumprir suas funcionalidades. Além disso, a tendência dos dispositivos de controle de incorporar a capacidade de atuação em ambientes distribuídos onde a interação ocorre através de redes de comunicação, verificada na evolução das normas aplicadas a sistemas de controle, reflete a necessidade de aderência dos sistemas de controle a essa realidade. A necessidade de se manter competitivo no mercado impõe aos atuais SP situações em que emergem novos desafios para realização do controle dos seus processos globais, uma vez que estes assumem múltiplos objetivos, envolvendo diferentes naturezas de indeterminismo, assincronismo e variância no tempo, provocando um nível de complexidade inédito no que se refere ao controle destes sistemas. Este trabalho propõe inicialmente uma nova abstração para modelar-se os SP baseada no conceito de decomposição multidimensional e em múltiplas faces, distribuindo o controle através dos componentes colaborativos. Feito isto, são propostos procedimentos e técnicas para modelagem de sistemas de controle distribuídos e colaborativos (SCDC) de SP. Considera-se para isso, primeiro, uma arquitetura lógica de controle que contemple os múltiplos domínios semânticos presentes em SP, que são provenientes das especificidades dos elementos integrantes. Segundo, a multiplicidade de habilidades necessárias para garantir a execução das estratégias de controle pertinentes a cada domínio. Terceiro, o fluxo de informações heterogêneas provenientes das interações colaborativas entre os domínios. / Recent technological advances, mainly of computer and communication systems, allow the production systems (SP) to evolve in structural aspect as well as in behavioral aspect. The SP resources have achieved enhanced autonomy and flexibility with embedded computer and communication capability. Latest trends of control devices, as seen in the evolution of standards related to control systems, focus on the use of these devices in a distributed environment, where interaction occur through a communication network Thus, the SP control system and its design methods have to fit to this reality. In a competitive scenario, the SP are challenged to keep control of the global processes, considering the multiple goals of these processes and the involvement of different aspect of indeterminism, lack of synchronisms and time variance, generating a inedited complexity level for control of this systems. This work proposes a new abstraction for modeling the control systems of SP, based on the concept of multidimensional decompositions. Based on this, it introduces the procedures and techniques for modeling the distributed and collaborative control systems (SCDC) of the production systems. First, it considers the logic architecture of the control that support many semantic domains presented in this type of SP. Then, the diversity of skills related to each domain necessary to accomplish the control strategies. And then, the heterogeneous information flow through the domains boundaries, derived from the collaborative interaction between the control components.

Para estudar os chamados Sistemas a Eventos Discretos (SEDs), existe uma variedade de tipos de modelos, mas, entretanto, estes acabam tratando de aspectos sistêmicos específicos, da mesma forma que suas análises. Para ter uma visão mais completa de tais sistemas, é importante lidar com esses tipos heterogêneos de modelos e com as técnicas desenvolvidas para sua integração. Este trabalho foca na questão da representação computacional desses modelos e de como adequá-la à heterogeneidade e à integração desses modelos. No que diz respeito à heterogeneidade, é proposta uma descrição matemática das ferramentas computacionais de modelagem e análise de SEDs, com a qual se pode visualizar as interações entre a heterogeneidade dos modelos, o poder de expressão e de montagem de representações de modelos e os processamentos de análise. Baseado nesta descrição e considerando-se os diversos custos envolvidos, diversas características são analisadas, de modo que, ao final, determina-se quais aquelas que são favoráveis para o caso de heterogeneidade e integração de modelos. Porém, existe ainda a heterogeneidade inerente aos modelos que não pode ser eliminada e isso constitui um obstáculo no caso de ter de lidar com modelos heterogêneos, representando um custo adicional para o aproveitamento de sua integração. Em relação a este caso, a proposta deste trabalho é de representar as informações semânticas associadas aos diversos modelos como forma de obter uma descrição integrada da dinâmica sendo modelada. Desde que as condições de consistência dessas representações sejam atendidas, com tal descrição, é possível visualizar os relacionamentos entre os diversos modelos e realizar análises sem ter que lidar com as diferenças estruturais dos vários tipos de modelos. Além disso, tais informações são úteis na construção de representações de modelos de SEDs e no estabelecimento de relacionamentos entre modelos de dinâmicas diferentes. Dessa discussão fica claro que tais representações têm papel fundamental para um efetivo processamento computacional das informações que a modelagem e análise oferecem. / Discrete Event Dynamic Systems (DEDS) can be approached by a variety of types of models, but each one deals with specific system aspects and whose analysis provides a limited set of information.For a more comprehensive understanding of DEDS, it is important to deal with these heterogeneous types of models and with techniques that integrate them. This work focus on the issue of computational representation of such models and of how to handle their heterogeneity and integration. In the case of the heterogeneity, a mathematical description of computational tools for modeling and analysis of DEDS is developed, based on which it is possible to visualize the interactions involving model heterogeneity, the capability of expressing and building model representations, and analysis processing. Based on this description and considering the various costs involved in the adoption of such tools, several characteristics are assessed, so that guidelines for configurations favourable to heterogeneity and integration of models are established. However, handling the heterogeneity of models does not eliminate it, remaining as a major obstacle when dealing with models of different types, representing an additional cost in their integration. Related with this issue, an approach based on the representation of the semantic information associated to the models as a means to generate an integrated description of the dynamics being modeled is introduced. As long as this representation presents consistency features, it is possible to visualize the various relationships between models and execute analysis without dealing, directly, with the structural differences observed in models of different types. Besides, the information being represented is helpful in the construction of representations of DEDS models and in establishing relationships between models referring to different dynamics. From all this discussion, it is clear that the proposed computational representation of information plays a fundamental role in the effective processing of the information provided by modeling and analysis.

Rede de Petri é uma poderosa ferramenta de modelagem gráfica e matemática bastante aplicada no desenvolvimento de projetos de sistemas de eventos discretos. Porém a sua aplicação na análise e interpretação de tais sistemas torna-se inviável por resultar em modelos grandes, com muitos elementos gráficos. Para solucionar tal problema, vários pesquisadores têm concentrado esforços no desenvolvimento de novas extensões e métodos de síntese de rede de Petri, para reduzir o tamanho dos modelos e assim facilitar a sua aplicação e análise de sistemas grandes e complexos. Rede de Petri Virtual é uma nova extensão de rede de Petri que possibilita a modelagem de tais sistemas de forma modular. Cada elemento do sistema é representado por um módulo e a comunicação entre eles é feita através dos nós virtuais. Esse trabalho formaliza a definição de rede de Petri virtual, desenvolve algoritmo e procedimento de junção dos módulos para gerar o modelo final, uma rede de Petri ordinária que representa o sistema completo. / Petri net is a powerful graphical and mathematical modeling tool commonly used to project Discrete Events Systems. The increasing complexity of such systems does not allow the use of Petri net tools due to the large size of the models (many graphical elements), which is difficult to understand and analyze. Due to this fact, researchers have been made efforts to the development of new synthesis methods for Petri nets, in order to reduce the models size and become easier its use and the analysis task of the systems properties. Virtual Petri net is a new kind (extension) of Petri net, combining its best in control and representation of discrete events systems to the best of modular modeling. This king of Petri net allows to build up models of complex systems from the modules that represent its elements, linked by the virtual nodes. The present work formalizes the definition of Virtual Petri Net. Also develops an algorithm to its use in the discrete events systems and presents a procedure to link and assemble the modules in the whole model. The modular modeling makes easier the understanding and graphical visualization of the system, keeping the final model the same features of the common Petri nets.

Para estudar os chamados Sistemas a Eventos Discretos (SEDs), existe uma variedade de tipos de modelos, mas, entretanto, estes acabam tratando de aspectos sistêmicos específicos, da mesma forma que suas análises. Para ter uma visão mais completa de tais sistemas, é importante lidar com esses tipos heterogêneos de modelos e com as técnicas desenvolvidas para sua integração. Este trabalho foca na questão da representação computacional desses modelos e de como adequá-la à heterogeneidade e à integração desses modelos. No que diz respeito à heterogeneidade, é proposta uma descrição matemática das ferramentas computacionais de modelagem e análise de SEDs, com a qual se pode visualizar as interações entre a heterogeneidade dos modelos, o poder de expressão e de montagem de representações de modelos e os processamentos de análise. Baseado nesta descrição e considerando-se os diversos custos envolvidos, diversas características são analisadas, de modo que, ao final, determina-se quais aquelas que são favoráveis para o caso de heterogeneidade e integração de modelos. Porém, existe ainda a heterogeneidade inerente aos modelos que não pode ser eliminada e isso constitui um obstáculo no caso de ter de lidar com modelos heterogêneos, representando um custo adicional para o aproveitamento de sua integração. Em relação a este caso, a proposta deste trabalho é de representar as informações semânticas associadas aos diversos modelos como forma de obter uma descrição integrada da dinâmica sendo modelada. Desde que as condições de consistência dessas representações sejam atendidas, com tal descrição, é possível visualizar os relacionamentos entre os diversos modelos e realizar análises sem ter que lidar com as diferenças estruturais dos vários tipos de modelos. Além disso, tais informações são úteis na construção de representações de modelos de SEDs e no estabelecimento de relacionamentos entre modelos de dinâmicas diferentes. Dessa discussão fica claro que tais representações têm papel fundamental para um efetivo processamento computacional das informações que a modelagem e análise oferecem. / Discrete Event Dynamic Systems (DEDS) can be approached by a variety of types of models, but each one deals with specific system aspects and whose analysis provides a limited set of information.For a more comprehensive understanding of DEDS, it is important to deal with these heterogeneous types of models and with techniques that integrate them. This work focus on the issue of computational representation of such models and of how to handle their heterogeneity and integration. In the case of the heterogeneity, a mathematical description of computational tools for modeling and analysis of DEDS is developed, based on which it is possible to visualize the interactions involving model heterogeneity, the capability of expressing and building model representations, and analysis processing. Based on this description and considering the various costs involved in the adoption of such tools, several characteristics are assessed, so that guidelines for configurations favourable to heterogeneity and integration of models are established. However, handling the heterogeneity of models does not eliminate it, remaining as a major obstacle when dealing with models of different types, representing an additional cost in their integration. Related with this issue, an approach based on the representation of the semantic information associated to the models as a means to generate an integrated description of the dynamics being modeled is introduced. As long as this representation presents consistency features, it is possible to visualize the various relationships between models and execute analysis without dealing, directly, with the structural differences observed in models of different types. Besides, the information being represented is helpful in the construction of representations of DEDS models and in establishing relationships between models referring to different dynamics. From all this discussion, it is clear that the proposed computational representation of information plays a fundamental role in the effective processing of the information provided by modeling and analysis.

O rápido avanço tecnológico nestes últimos anos, principalmente dos recursos computacionais e de comunicação, permite que os sistemas produtivos (SP) evoluam tanto no seu aspecto estrutural quanto no comportamental para que atendam às necessidades crescentes do mercado. Os elementos integrantes dos SP vêm incorporando estes avanços, atingindo maior autonomia e flexibilidade p ara cumprir suas funcionalidades. Além disso, a tendência dos dispositivos de controle de incorporar a capacidade de atuação em ambientes distribuídos onde a interação ocorre através de redes de comunicação, verificada na evolução das normas aplicadas a sistemas de controle, reflete a necessidade de aderência dos sistemas de controle a essa realidade. A necessidade de se manter competitivo no mercado impõe aos atuais SP situações em que emergem novos desafios para realização do controle dos seus processos globais, uma vez que estes assumem múltiplos objetivos, envolvendo diferentes naturezas de indeterminismo, assincronismo e variância no tempo, provocando um nível de complexidade inédito no que se refere ao controle destes sistemas. Este trabalho propõe inicialmente uma nova abstração para modelar-se os SP baseada no conceito de decomposição multidimensional e em múltiplas faces, distribuindo o controle através dos componentes colaborativos. Feito isto, são propostos procedimentos e técnicas para modelagem de sistemas de controle distribuídos e colaborativos (SCDC) de SP. Considera-se para isso, primeiro, uma arquitetura lógica de controle que contemple os múltiplos domínios semânticos presentes em SP, que são provenientes das especificidades dos elementos integrantes. Segundo, a multiplicidade de habilidades necessárias para garantir a execução das estratégias de controle pertinentes a cada domínio. Terceiro, o fluxo de informações heterogêneas provenientes das interações colaborativas entre os domínios. / Recent technological advances, mainly of computer and communication systems, allow the production systems (SP) to evolve in structural aspect as well as in behavioral aspect. The SP resources have achieved enhanced autonomy and flexibility with embedded computer and communication capability. Latest trends of control devices, as seen in the evolution of standards related to control systems, focus on the use of these devices in a distributed environment, where interaction occur through a communication network Thus, the SP control system and its design methods have to fit to this reality. In a competitive scenario, the SP are challenged to keep control of the global processes, considering the multiple goals of these processes and the involvement of different aspect of indeterminism, lack of synchronisms and time variance, generating a inedited complexity level for control of this systems. This work proposes a new abstraction for modeling the control systems of SP, based on the concept of multidimensional decompositions. Based on this, it introduces the procedures and techniques for modeling the distributed and collaborative control systems (SCDC) of the production systems. First, it considers the logic architecture of the control that support many semantic domains presented in this type of SP. Then, the diversity of skills related to each domain necessary to accomplish the control strategies. And then, the heterogeneous information flow through the domains boundaries, derived from the collaborative interaction between the control components.

O sistema de elevadores como equipamento para o transporte vertical de pessoas e bens é um componente fundamental no projeto de edifícios e, neste âmbito, a disponibilidade e eficiência do seu serviço deve ser objeto de cuidadosa análise em função de sua influência no desempenho e produtividade das atividades dos usuários do prédio. Neste contexto e considerando especificamente os edifícios inteligentes cuja finalidade é a otimização a nível estrutural e funcional do edifício como um todo, e onde a integração entre seus sistemas cumpre um papel fundamental para atingir estes objetivos, o presente trabalho propõe uma metodologia para a modelagem de sistemas de elevadores nestes prédios, que considera a sua integração com outros sistemas prediais. A abordagem empregada no desenvolvimento deste trabalho baseia-se na caracterização dos sistemas de elevadores como sistemas a eventos discretos (SED), pois sua dinâmica é definida através da ocorrência de eventos e a manutenção de estados discretos. Assim, na metodologia utiliza-se técnicas derivadas das redes de Petri (redes de Petri interpretadas), de comprovada eficiência para a modelagem, análise e controle de SEDs. Estas ferramentas são usadas através de uma abordagem estrutural, onde o sistema é modelado em diferentes níveis de abstração: um modelo conceitual obtido pelo uso da técnica PFS (Production Flow Schema) em um primeiro nível, e o refinamento deste para modelos funcionais através do uso do MFG (Mark Flow Graph) e suas extensões, onde são preservadas as estruturas das atividades do nível superior e são descritos os detalhes em um nível funcional. A metodologia proposta confirmou ser útil e eficiente para a modelagem do sistema de elevadores em edifícios inteligentes, ao permitir a especificação do modelo funcional de todo o sistema (objeto de controle e sistema de controle) e das estratégias que facilitam a sua integração com outros sistemas prediais / The elevator system as mean for the vertical transport of people and goods is a fundamental component in the design of buildings. The availability and efficiency of this service must be object of careful analysis due to its influence on the performance and productivity of the building users' activities. In intelligent buildings, the purpose is the optimization of its structural and functional levels and where also the integration between all building systems accomplishes a fundamental role to reach these objectives. In this context, this work proposes a methodology for the modeling of elevator systems in these buildings, which consider your integration with others buildings systems. The approach developed in this work is based on the characterization of elevator systems as Discrete Event Systems (DES), since the dynamic behavior is defined through the discrete events and discrete states. The proposed methodology uses techniques, that are derived of interpreted Petri nets, which has been proven as an efficient tool for modeling, analysis and control of DES. In this context, systems are modeled in different levels of abstraction: a conceptual model which is obtained by using the PFS (Production Flow Schema) technique level, and a functional model by using MFG (Mark Flow Graph) and its extensions. The MFG abstraction level describes details in a functional form, where are preserved the description activities of previous levels. The methodology proposal confirmed to be useful and efficient to elevator systems modeling, when allowing the functional specification of the whole system (object of control and control system), and strategies that facilitate its integration with others building systems.

O sistema de elevadores como equipamento para o transporte vertical de pessoas e bens é um componente fundamental no projeto de edifícios e, neste âmbito, a disponibilidade e eficiência do seu serviço deve ser objeto de cuidadosa análise em função de sua influência no desempenho e produtividade das atividades dos usuários do prédio. Neste contexto e considerando especificamente os edifícios inteligentes cuja finalidade é a otimização a nível estrutural e funcional do edifício como um todo, e onde a integração entre seus sistemas cumpre um papel fundamental para atingir estes objetivos, o presente trabalho propõe uma metodologia para a modelagem de sistemas de elevadores nestes prédios, que considera a sua integração com outros sistemas prediais. A abordagem empregada no desenvolvimento deste trabalho baseia-se na caracterização dos sistemas de elevadores como sistemas a eventos discretos (SED), pois sua dinâmica é definida através da ocorrência de eventos e a manutenção de estados discretos. Assim, na metodologia utiliza-se técnicas derivadas das redes de Petri (redes de Petri interpretadas), de comprovada eficiência para a modelagem, análise e controle de SEDs. Estas ferramentas são usadas através de uma abordagem estrutural, onde o sistema é modelado em diferentes níveis de abstração: um modelo conceitual obtido pelo uso da técnica PFS (Production Flow Schema) em um primeiro nível, e o refinamento deste para modelos funcionais através do uso do MFG (Mark Flow Graph) e suas extensões, onde são preservadas as estruturas das atividades do nível superior e são descritos os detalhes em um nível funcional. A metodologia proposta confirmou ser útil e eficiente para a modelagem do sistema de elevadores em edifícios inteligentes, ao permitir a especificação do modelo funcional de todo o sistema (objeto de controle e sistema de controle) e das estratégias que facilitam a sua integração com outros sistemas prediais / The elevator system as mean for the vertical transport of people and goods is a fundamental component in the design of buildings. The availability and efficiency of this service must be object of careful analysis due to its influence on the performance and productivity of the building users' activities. In intelligent buildings, the purpose is the optimization of its structural and functional levels and where also the integration between all building systems accomplishes a fundamental role to reach these objectives. In this context, this work proposes a methodology for the modeling of elevator systems in these buildings, which consider your integration with others buildings systems. The approach developed in this work is based on the characterization of elevator systems as Discrete Event Systems (DES), since the dynamic behavior is defined through the discrete events and discrete states. The proposed methodology uses techniques, that are derived of interpreted Petri nets, which has been proven as an efficient tool for modeling, analysis and control of DES. In this context, systems are modeled in different levels of abstraction: a conceptual model which is obtained by using the PFS (Production Flow Schema) technique level, and a functional model by using MFG (Mark Flow Graph) and its extensions. The MFG abstraction level describes details in a functional form, where are preserved the description activities of previous levels. The methodology proposal confirmed to be useful and efficient to elevator systems modeling, when allowing the functional specification of the whole system (object of control and control system), and strategies that facilitate its integration with others building systems.