A capacidade de reconfiguração de sistemas de manufatura tem sido procurada pelas empresas para assegurar características de agilidade, eficiência e exibilidade para atender as mudanças de tipo/quantidade de produtos, processos, recursos e, além disso, para assegurar a devida reação à ocorrência de falhas. Por outro lado, a Indústria 4.0\" impõe novos desafios para os sistemas de controle, tais como a integração de tecnologias de interação entre homem e máquina em cadeias de valor compondo uma rede de plantas industriais geograficamente dispersas. O controle de sistemas reconfiguráveis de manufatura deve considerar: (i) funcionalidades de sistemas distribuídos e dispersos, tais como agilidade de resposta às mudanças, autonomia e colaboração entre os componentes para alcançar os objetivos do sistema de forma conjunta; (ii) interfaces para sua interoperabilidade e portabilidade; (iii) modularização para facilitar a manutenção, expansão e atualização do sistema, evitando a sobreposição de escopos; e (iv) mecanismos de controle para supervisionar as ações e interações dos componentes, o diagnóstico e a tomada de decisão. O pleno atendimento a estes requisitos não é trivial e formalismos para o desenvolvimento de soluções devem ser adotados. Uma solução é combinar técnicas voltadas para sistema multiagente e holon com arquitetura orientada a serviço através de uma adequada técnica de modelagem usando extensões de rede de Petri: Production Flow Schema e Input Output Place Transition. Portanto, este trabalho prop~oe uma arquitetura de controle e o método de modelagem de seus componentes para sistemas reconfiguráveis de manufatura combinando estas técnicas e considerando os aspectos de personalização, convertibilidade, escalabilidade, modularidade, integrabilidade, diagnosticabilidade, interoperabilidade e colaboração entre os componentes do sistema de controle, inclusive do homem. Um exemplo de aplicação é apresentado para demonstrar a viabilidade da proposta e comprovar os resultados alcançados. / The reconfiguration ability of the manufacturing systems has been approached by companies to ensure agility, efficiency and exibility characteristics to address the changes of type/quantity of products, processes and resources and, furthermore, to ensure proper reaction to the fault occurrence. On the other hand, the\"Industry 4.0\" imposes new challenges for control systems, such as interaction between man and machine into value chains composing a network of geographically dispersed industrial plants. The control of reconfigurable manufacturing systems should consider: (i) functionalities requirements of distributed and disperse systems, such as responsiveness to changes, autonomy and collaboration among components to achieve the global system aim; (ii) interfaces for interoperability and portability; (iii) modularity to facilitate maintenance, expansion and upgrade of the system, avoiding the overlapping of scopes; and (iv) control mechanisms to supervise the actions and interactions among components, diagnosis and decision making. The compliance with these requirements is not trivial and formalisms to develop solutions must be adopted. A solution is combining techniques based on holonic and multi-agent system with service-oriented architecture through appropriate modeling using Petri net extensions: Production Flow Schema and Input Output Place Transition. Therefore, this paper proposes control architecture and a method to model components for reconfigurable manufacturing systems, combining these techniques and considering aspects of customization, convertibility, scalability, modularity, integrability, diagnosability, interoperability and collaboration among control system components, including humans. An application example is presented to demonstrate the feasibility of the proposal and verify the results.

Os avanços tecnológicos das últimas décadas têm motivado o desenvolvimento dos edifícios inteligentes, visando à criação de ambientes mais confortáveis e seguros para os ocupantes, economicamente vantajosos para os proprietários e ambientalmente corretos. Considerando-se que nestes ambientes emergem novas formas de interação entre os usuários e os sistemas prediais, as quais não são adequadamente tratadas por técnicas convencionais de modelagem, torna-se necessário o estudo de novas soluções que abordem essas interações. Assim, este trabalho apresenta a proposta de uma abordagem sistemática para modelar e simular os sistemas de controle de edifícios inteligentes. Considera-se o sistema de controle como um sistema orientado por eventos discretos, no qual a comunicação entre os dispositivos que o constituem é realizada por meio da troca assíncrona de mensagens. Nesta abordagem, é utilizada a rede de Petri colorida para especificar as funcionalidades do edifício inteligente e a interação entre os dispositivos que constituem o seu sistema de controle. Assim, fornece-se um procedimento estruturado para desenvolver modelos que facilita a especificação do algoritmo de controle dos subsistemas do edifício inteligente. Para avaliar as principais características do procedimento proposto, foi apresentado um exemplo de aplicação que aborda a integração das funcionalidades de um sistema de telefonia distribuído e um sistema de vigilância predial. A abordagem de modelagem possibilitou a identificação das funcionalidades dos dispositivos inteligentes que integram o sistema de controle em diferentes níveis de abstração e as interações que ocorrem durante o seu funcionamento. A realização deste trabalho contribui para o aprimoramento de novas abordagens para o desenvolvimento de sistemas de controle com arquiteturas heterárquicas. Estes sistemas são constituídos por dispositivos inteligentes colaborativos, que possuem um elevado grau de autonomia. / Technological advances in recent decades have motivated the development of intelligent buildings, aimed at creating environments more productive for the occupants, economically advantageous for the owners and environmentally correct. New ways of interaction between users and the buildings systems are emerging from these kinds of systems, which are not adequately treated by conventional modeling techniques. In this sense, it is necessary the study of new approaches which address these new functionalities. Thus, this work presents a proposal for a systematic approach to model and simulate the control system of the intelligent buildings. The control system is considered to be a discrete event system, where the communication between the devices that integrate it is oriented by means of asynchronous messages exchange. This approach uses the colored Petri nets in order to specify the functionalities of the building system and their devices interactions. The approach provides a structured procedure to develop models that facilitate the algorithm specification of the control system. In order to verify the main characteristics of the proposed procedure, it is presented an example that is a control system that integrates a distributed telephony system and a surveillance building system. The approach proposed enabled the identification of the main functionalities and interactions of the intelligent devices constituting the control system. The achievement of this thesis contributes to the development of new approaches to develop heterarchical control system architectures. This kind of system architectures is constituted by collaborative intelligent devices that have a high degree of autonomy.

Controle de acesso é um tópico de pesquisa importante tanto para a academia quanto para a indústria. Controle de Acesso Baseado em Papéis (CABP) foi desenvolvido no início dos anos 1990, tornando-se um padrão generalizado para controle de acesso em vários produtos e soluções computacionais. Embora modelos CABP sejam largamente aceitos e adotados, ainda existem questões para responder. Um dos principais desafios de pesquisa em segurança baseada em papéis é determinar se uma política de controle de acesso é consistente em um ambiente altamente dinâmico. Nossa pesquisa visa preencher essa lacuna fornecendo um método para analisar políticas CABP com respeito a dois aspectos significativos: segurança e dinamismo envolvendo papéis e objetos. Para este propósito, desenvolvemos um modelo de descrição e simulação de política usando rede de Petri colorida e CPN Tools. O modelo descreve e é capaz de simular vários estados CABP em um contexto de educação a distância típico. Usando este modelo, foi possível analisar o espaço de estados produzido pela rede de Petri colorida em um cenário dinâmico envolvendo a criação de novos papéis e objetos. O resultado da análise de alcançabilidade da rede de Petri da política demonstrou que é possível verificar a consistência de políticas de controle de acesso considerando a dinamicidade de papéis e objetos, e apontou vantagens de aplicabilidade da modelagem de políticas de segurança em ambientes distribuídos utilizando rede de Petri colorida. / Access control is an important research topic both for academia and industry. Role Based Access Control (RBAC) was developed in the early 1990s, becoming a generalized standard of access control for many products and computing solutions. Although RBAC models have been widely accepted and adopted, there are issues to answer. One of the key challenges for role-based security research is to characterize whether an access control policy is consistent in a highly dynamic environment. Our research aims filling this gap providing a method to analyze RBAC policies with respect to two significant aspects: security and dynamics involving roles and objects. For this purpose, we developed a policy description and simulation model using colored Petri net and the CPN Tools. The model describes and is capable to simulate many RBAC states in a typical distance education context. Using this model it was possible to analyze the state space provided by colored Petri net that simulates a dynamic environment and the creation of new roles and objects. The result of the reachability analysis of Petri net policy showed that it is possible to check the consistency of access control policies considering dynamic of roles and objects, and point out the advantages and applicability of modeling security policies in distributed environments using colored Petri net.

Controle de acesso é um tópico de pesquisa importante tanto para a academia quanto para a indústria. Controle de Acesso Baseado em Papéis (CABP) foi desenvolvido no início dos anos 1990, tornando-se um padrão generalizado para controle de acesso em vários produtos e soluções computacionais. Embora modelos CABP sejam largamente aceitos e adotados, ainda existem questões para responder. Um dos principais desafios de pesquisa em segurança baseada em papéis é determinar se uma política de controle de acesso é consistente em um ambiente altamente dinâmico. Nossa pesquisa visa preencher essa lacuna fornecendo um método para analisar políticas CABP com respeito a dois aspectos significativos: segurança e dinamismo envolvendo papéis e objetos. Para este propósito, desenvolvemos um modelo de descrição e simulação de política usando rede de Petri colorida e CPN Tools. O modelo descreve e é capaz de simular vários estados CABP em um contexto de educação a distância típico. Usando este modelo, foi possível analisar o espaço de estados produzido pela rede de Petri colorida em um cenário dinâmico envolvendo a criação de novos papéis e objetos. O resultado da análise de alcançabilidade da rede de Petri da política demonstrou que é possível verificar a consistência de políticas de controle de acesso considerando a dinamicidade de papéis e objetos, e apontou vantagens de aplicabilidade da modelagem de políticas de segurança em ambientes distribuídos utilizando rede de Petri colorida. / Access control is an important research topic both for academia and industry. Role Based Access Control (RBAC) was developed in the early 1990s, becoming a generalized standard of access control for many products and computing solutions. Although RBAC models have been widely accepted and adopted, there are issues to answer. One of the key challenges for role-based security research is to characterize whether an access control policy is consistent in a highly dynamic environment. Our research aims filling this gap providing a method to analyze RBAC policies with respect to two significant aspects: security and dynamics involving roles and objects. For this purpose, we developed a policy description and simulation model using colored Petri net and the CPN Tools. The model describes and is capable to simulate many RBAC states in a typical distance education context. Using this model it was possible to analyze the state space provided by colored Petri net that simulates a dynamic environment and the creation of new roles and objects. The result of the reachability analysis of Petri net policy showed that it is possible to check the consistency of access control policies considering dynamic of roles and objects, and point out the advantages and applicability of modeling security policies in distributed environments using colored Petri net.

Os avanços tecnológicos das últimas décadas têm motivado o desenvolvimento dos edifícios inteligentes, visando à criação de ambientes mais confortáveis e seguros para os ocupantes, economicamente vantajosos para os proprietários e ambientalmente corretos. Considerando-se que nestes ambientes emergem novas formas de interação entre os usuários e os sistemas prediais, as quais não são adequadamente tratadas por técnicas convencionais de modelagem, torna-se necessário o estudo de novas soluções que abordem essas interações. Assim, este trabalho apresenta a proposta de uma abordagem sistemática para modelar e simular os sistemas de controle de edifícios inteligentes. Considera-se o sistema de controle como um sistema orientado por eventos discretos, no qual a comunicação entre os dispositivos que o constituem é realizada por meio da troca assíncrona de mensagens. Nesta abordagem, é utilizada a rede de Petri colorida para especificar as funcionalidades do edifício inteligente e a interação entre os dispositivos que constituem o seu sistema de controle. Assim, fornece-se um procedimento estruturado para desenvolver modelos que facilita a especificação do algoritmo de controle dos subsistemas do edifício inteligente. Para avaliar as principais características do procedimento proposto, foi apresentado um exemplo de aplicação que aborda a integração das funcionalidades de um sistema de telefonia distribuído e um sistema de vigilância predial. A abordagem de modelagem possibilitou a identificação das funcionalidades dos dispositivos inteligentes que integram o sistema de controle em diferentes níveis de abstração e as interações que ocorrem durante o seu funcionamento. A realização deste trabalho contribui para o aprimoramento de novas abordagens para o desenvolvimento de sistemas de controle com arquiteturas heterárquicas. Estes sistemas são constituídos por dispositivos inteligentes colaborativos, que possuem um elevado grau de autonomia. / Technological advances in recent decades have motivated the development of intelligent buildings, aimed at creating environments more productive for the occupants, economically advantageous for the owners and environmentally correct. New ways of interaction between users and the buildings systems are emerging from these kinds of systems, which are not adequately treated by conventional modeling techniques. In this sense, it is necessary the study of new approaches which address these new functionalities. Thus, this work presents a proposal for a systematic approach to model and simulate the control system of the intelligent buildings. The control system is considered to be a discrete event system, where the communication between the devices that integrate it is oriented by means of asynchronous messages exchange. This approach uses the colored Petri nets in order to specify the functionalities of the building system and their devices interactions. The approach provides a structured procedure to develop models that facilitate the algorithm specification of the control system. In order to verify the main characteristics of the proposed procedure, it is presented an example that is a control system that integrates a distributed telephony system and a surveillance building system. The approach proposed enabled the identification of the main functionalities and interactions of the intelligent devices constituting the control system. The achievement of this thesis contributes to the development of new approaches to develop heterarchical control system architectures. This kind of system architectures is constituted by collaborative intelligent devices that have a high degree of autonomy.

Games on net are in prominence due to the high level of interaction between pairs, situation that promotes a high number of youth spending hours in front of the computer. What guides this paper is to use this motivation for scientific learning, also focusing the education socio-constructivist view (VYGOTSKY, 1996). This paper's goal is to develop a computational model for the Scientific Reasoning teaching through the use of collaborative games, using the Coloured Petri Net formalism. This project relevance is in the belief that the shaped educational game functions as a way of learning, through principles of Scientific Reasoning, with a playful focus. It was proposed a frame that defines since the conception of collaborative game, including the interface to be applied, to the game execution. Then it was made the game interaction process using the formalism based on Coloured Petri Net. In order to evaluate this study, it was developed a game archetype on net that was used with high-school students, what made possible evidence, through questionnaires, this model viability, which uses collaborative learning through Scientific Reasoning / Jogos em rede estão em destaque graças ao alto nível de interação entre pares, situação promotora do alto índice de jovens que passam horas em frente ao computador. O que norteia este trabalho é usar esta motivação para aprendizagem de forma científica, contemplando também a visão sócio-construcionista (VYGOTSKY, 1996) de educação. Esta estudo tem como objetivo o desenvolvimento de um modelo computacional para o ensino do Raciocínio Científico por meio da utilização de jogos colaborativos, utilizando o formalismo Rede de Petri Colorida. A relevância do projeto reside na crença de que o jogo educacional modelado funcione como um meio de aprendizagem, pelos princípios do Raciocínio Científico, com uma abordagem lúdica. Foi proposta uma arquitetura que define desde a concepção do jogo colaborativo, passando pela interface a ser aplicada, chegando à execução do jogo. Foi então modelado o processo de interação do jogo utilizando o formalismo baseado em Rede de Petri Colorida. Para analisar esse estudo, desenvolveu-se um protótipo de jogo em rede que foi aplicado a uma turma de alunos do segundo ano do ensino médio, quando se constatou, através de questionários, a viabilidade deste modelo, que utiliza aprendizagem colaborativa usando Raciocínio Científico

Dentre as várias abordagens consagradas para análise de desempenho de algoritmos em termos de tempo de execução, destacam-se, por exemplo, a análise assintótica, as técnicas de recorrências e a análise probabilística. Entretanto, há algoritmos que apresentam certas peculiaridades que tornam o uso dessas técnicas puramente matemáticas de avaliação de desempenho inadequadas ou excessivamente árduas. É o caso, por exemplo, de algoritmos cujo tempo de execução pode variar significativamente para um mesmo dado de entrada em função da dinâmica de execução. O mesmo acontece no caso de algoritmos distribuídos em que, dependendo da complexidade da política de distribuição utilizada, a avaliação por meio de métodos analíticos do efeito de um gradual incremento de processadores no seu tempo de execução pode tornar-se impraticável. Em situações como essas, a fim de evitar a alta complexidade matemática envolvida na análise de desempenho desses algoritmos, algumas alternativas baseadas em métodos empíricos ou em modelagem visual vêm sendo adotada pelos pesquisadores. Contudo, ambas alternativas apresentam inconvenientes: no caso dos métodos empíricos, eles requerem a implementação dos algoritmos analisados, o que tem um efeito perverso particularmente no caso dos algoritmos distribuídos, uma vez que eles demandam a aquisição prévia de recursos de hardware dispendiosos de multi-processamento antes mesmo de saber se a proposta de distribuição investigada, de fato, vale a pena. Já as abordagens baseadas em modelos visuais atualmente utilizadas (baseadas em grafos, autômatos e Unified Modeling Language - UML) não contam com os recursos dinâmicos necessários para lidar com a avaliação do tempo de execução dos algoritmos. Neste cenário, o presente trabalho propõe uma abordagem visual formal para avaliar o tempo de execução de algoritmos baseada em simulações automáticas de modelos de Redes de Petri Coloridas Hierárquicas (RdPCH) no ambiente gráfico CPN Tools. A abordagem proposta é validada por meio de cálculo dos seguintes parâmetros associados aos algoritmos usados como estudo de caso: a função de complexidade, o tempo de execução real e, no caso dos algoritmos distribuídos, o speedup e a eficiência. Foram usados como estudos de caso os seguintes três relevantes algoritmos de busca usados nos agentes da Inteligência Artificial com a finalidade de definir as ações mais apropriadas que tais agentes devem executar de modo a cumprir seu objetivo, com êxito, em um ambiente em que um oponente tenta minimizar suas chances de sucesso: os algoritmos seriais Minimax e Alpha-Beta; e o algoritmo distribuído PVS. Os resultados obtidos confirmam a correção da abordagem proposta. / Among the various approaches established for analyzing the performance of algorithms in terms of runtime, one can highlight as examples, the asymptotic analysis, recurrence techniques, and probabilistic analysis. However, there are algorithms that present certain peculiarities, which make the use of these purely mathematical performance evaluation techniques inadequate or excessively difficult. This is the case of algorithms for which the runtime varies significantly for the same input data, due to its execution dynamics. The same happens in the case of distributed algorithms, where depending on the complexity of the distribution policy being used, the evaluation by means of analytical methods concerning the effect of a gradual increase in processors on runtime can become impractical. In situations such as these, in order to avoid the high mathematical complexity involved in the performance analysis, researchers have adopted alternatives based on empirical methods or visual modeling. However, both alternatives have drawbacks: in the case of empirical methods, they require the implementation of analyzed algorithms, which has a perverse effect especially in the case of distributed algorithms. This occurs, as they demand the acquisition beforehand of expensive multiprocessing hardware resources before knowing if the distribution proposal under investigation is in fact viable. On the other hand, those approaches based on visual models currently under use (based on graphs, automata and Unified Modeling Language) one notes that does not contain the necessary dynamic resources for dealing with the runtime evaluation of algorithms. In this scenario, the present study proposes a formal visual approach, in order to evaluate the algorithm runtime based on automatic simulations of Hierarchical Colored Petri Net models in the CPN Tools graphic environment. The proposed approach is validated through the calculation of the following parameters associated with the algorithms being used as a case study: the complexity function, real runtime, and in the case of distributed algorithms, speedup and efficiency. The cases studies were based on three relevant search algorithms used in the agents of the Artificial Intelligence, with the aim of defining the most appropriate actions that these agents need to execute in order to fulfil their objective, in an environment where the opponent tries to minimize their chances of success. The algorithms under consideration were the serial algorithms Minimax and Alpha-Beta; and the PVS distributed algorithm. The obtained results confirm the correction of the proposed approach. / Tese (Doutorado)

A capacidade de reconfiguração de sistemas de manufatura tem sido procurada pelas empresas para assegurar características de agilidade, eficiência e exibilidade para atender as mudanças de tipo/quantidade de produtos, processos, recursos e, além disso, para assegurar a devida reação à ocorrência de falhas. Por outro lado, a Indústria 4.0\" impõe novos desafios para os sistemas de controle, tais como a integração de tecnologias de interação entre homem e máquina em cadeias de valor compondo uma rede de plantas industriais geograficamente dispersas. O controle de sistemas reconfiguráveis de manufatura deve considerar: (i) funcionalidades de sistemas distribuídos e dispersos, tais como agilidade de resposta às mudanças, autonomia e colaboração entre os componentes para alcançar os objetivos do sistema de forma conjunta; (ii) interfaces para sua interoperabilidade e portabilidade; (iii) modularização para facilitar a manutenção, expansão e atualização do sistema, evitando a sobreposição de escopos; e (iv) mecanismos de controle para supervisionar as ações e interações dos componentes, o diagnóstico e a tomada de decisão. O pleno atendimento a estes requisitos não é trivial e formalismos para o desenvolvimento de soluções devem ser adotados. Uma solução é combinar técnicas voltadas para sistema multiagente e holon com arquitetura orientada a serviço através de uma adequada técnica de modelagem usando extensões de rede de Petri: Production Flow Schema e Input Output Place Transition. Portanto, este trabalho prop~oe uma arquitetura de controle e o método de modelagem de seus componentes para sistemas reconfiguráveis de manufatura combinando estas técnicas e considerando os aspectos de personalização, convertibilidade, escalabilidade, modularidade, integrabilidade, diagnosticabilidade, interoperabilidade e colaboração entre os componentes do sistema de controle, inclusive do homem. Um exemplo de aplicação é apresentado para demonstrar a viabilidade da proposta e comprovar os resultados alcançados. / The reconfiguration ability of the manufacturing systems has been approached by companies to ensure agility, efficiency and exibility characteristics to address the changes of type/quantity of products, processes and resources and, furthermore, to ensure proper reaction to the fault occurrence. On the other hand, the\"Industry 4.0\" imposes new challenges for control systems, such as interaction between man and machine into value chains composing a network of geographically dispersed industrial plants. The control of reconfigurable manufacturing systems should consider: (i) functionalities requirements of distributed and disperse systems, such as responsiveness to changes, autonomy and collaboration among components to achieve the global system aim; (ii) interfaces for interoperability and portability; (iii) modularity to facilitate maintenance, expansion and upgrade of the system, avoiding the overlapping of scopes; and (iv) control mechanisms to supervise the actions and interactions among components, diagnosis and decision making. The compliance with these requirements is not trivial and formalisms to develop solutions must be adopted. A solution is combining techniques based on holonic and multi-agent system with service-oriented architecture through appropriate modeling using Petri net extensions: Production Flow Schema and Input Output Place Transition. Therefore, this paper proposes control architecture and a method to model components for reconfigurable manufacturing systems, combining these techniques and considering aspects of customization, convertibility, scalability, modularity, integrability, diagnosability, interoperability and collaboration among control system components, including humans. An application example is presented to demonstrate the feasibility of the proposal and verify the results.

Sistemas Instrumentados de Segurança (SIS) são projetados para prevenir e/ou mitigar acidentes, evitando indesejáveis cenários com alto potencial de risco, assegurando a proteção da saúde das pessoas, proteção do meio ambiente e economia de custos com equipamentos industriais. Desta forma, é extremamente recomendado neste projeto de SIS o uso de métodos formais para garantir as especificações de segurança em conformidade com as normas regulamentadoras vigentes, principalmente para atingir o nível de integridade de segurança (SIL) desejado. Adicionalmente, algumas das normas de segurança como ANSI / ISA S.84.01; IEC 61508, IEC 61511, entre outras, recomendam uma série de procedimentos relacionados ao ciclo de vida de segurança de um projeto de SIS. Desta forma, destacam-se as atividades que compreendem o desenvolvimento e a validação dos algoritmos de controle em que se separam semanticamente os aspectos voltados para o diagnóstico de falhas críticas e o tratamento destas falhas associado a um controle de coordenação para filtrar a ocorrência de falhas espúrias. Portanto, a contribuição deste trabalho é propor um método formal para a modelagem e análise de SIS, incluindo o diagnóstico e o tratamento de falhas críticas, baseado em rede Bayesiana (BN) e rede de Petri (PN). Este trabalho considera o diagnóstico e o tratamento para cada função instrumentada de segurança (SIF) a partir do resultado do estudo de análise de riscos, de acordo com a metodologia de HAZOP (Hazard and Operability). / Safety Instrumented Systems (SIS) are design to prevent and/or mitigate accidents, avoiding undesirable high potential risk scenarios, assuring protection of people health, protecting the environment and saving costs of industrial equipment. It is strongly recommended in this design formal method to assure the safety specifications in accordance to standards regulations, mainly for reaching desired safety integrity level (SIL). Additionally, some of the safety standards such as ANSI/ISA S.84.01; IEC 61508, IEC 61511, among others, guide different activities related to Safety Life Cycle (SLC) design of SIS. In special, there are design activities that involves the development and validation of control algorithm that separate semantically aspects oriented to diagnosis and treatment of critical faults associated with a control coordination to filter spurious failures occurrence. In this context, the contribution of this work is to propose a formal method for modeling and analysis of SIS designed including diagnostic and treatment of critical faults based on Bayesian networks (BN) and Petri nets (PN). This approach considers diagnostic and treatment for each safety instrumented function (SIF) obtained according hazard and operability (HAZOP) methodology.

O sistema de proteção técnica contra incêndio (SPTCI) é um dos principais sistemas que compõem o edifício inteligente (EI), pois a eficiência do seu funcionamento afeta diretamente a segurança das pessoas e o patrimônio do prédio. O SPTCI é composto de diferentes dispositivos, estratégias de controle e atua segundo legislação específica. Devido à complexidade do SPTCI, torna-se fundamental uma modelagem adequada que permita verificar a dinâmica do sistema e sua relação com outros sistemas prediais. Neste contexto, este trabalho propõe um procedimento para a modelagem e análise de estratégias de controle para o SPTCI, integrado com outros sistemas prediais dentro do contexto de EI. A abordagem considerada para este propósito baseia-se na teoria dos sistemas a eventos discretos, na aplicação de técnicas derivadas da rede de Petri e em técnicas de análise através de simulação discreta. Com esta abordagem são desenvolvidos modelos do sistema de controle do SPTCI onde é considerada a sua relação com outros sistemas prediais. Particularmente, explora-se as extensões da rede de Petri como as técnicas Production Flow Schema e Mark Flow Graph. Um estudo de caso é apresentado para ilustrar as principais características deste procedimento. / From the point of view of property damage and personal security, the fire protection system (FPS) is one of the most important systems in an intelligent building (IB). The FPS is composed of several devices and control strategies. Furthermore, it must act in accordance with specific laws. As a consequence the design of FPSs is a complex task and it is very important to provide an adequate model that supports the verification of the FPS dynamics and its integration with others building systems, facilitating its test and validation. In this context, this work proposes a procedure to model in a systematic and rational way a FPS in the IB context. Considering the nature of the structure and processes of FPS the approach is based on the discrete event dynamic system theory and the application of the Petri net. Then, the models the FPS control system and the controlled plant must include its integration with other building systems. Particularly, it explores Petri net extensions such as Production Flow Schema and Mark Flow Graph techniques. Through an example it is illustrated the main aspects of the proposed procedure.