PEQUENO FILHO, Paulo de Tarso Cavalcante. Modelagem formal, simulação e análise em redes de Petri coloridas da realização de atividades laboratoriais a distância presentes no framework ubiquitous lab for practical activities (u-LabPA). 2016. 79 f. Dissertação (Mestrado em Engenharia de Teleinformática)–Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Hohana Sanders (hohanasanders@hotmail.com) on 2017-03-22T12:01:27Z No. of bitstreams: 1 2016_dis_ptcpequenofilho.pdf: 3165891 bytes, checksum: 045c65071d0047486f99198e7a53b314 (MD5) / Approved for entry into archive by Marlene Sousa (mmarlene@ufc.br) on 2017-06-01T19:33:07Z (GMT) No. of bitstreams: 1 2016_dis_ptcpequenofilho.pdf: 3165891 bytes, checksum: 045c65071d0047486f99198e7a53b314 (MD5) / Made available in DSpace on 2017-06-01T19:33:07Z (GMT). No. of bitstreams: 1 2016_dis_ptcpequenofilho.pdf: 3165891 bytes, checksum: 045c65071d0047486f99198e7a53b314 (MD5) Previous issue date: 2016-12-16 / Ubiquitous Computing is an area that relates technologies and concepts such as Pervasiveness, Mobility, Adaptability and Location-Oriented Applications. Among the technologies that stand out today in this area there are Wireless Sensor Networks and Radio Frequency Identification Networks, which are being used together to monitor and identify objects and people. Within the scope of Ubiquitous Computing, there are Ubiquitous Laboratories (u-Lab) which are laboratories that have sensing, provision of software services to support the user, support to the performance of activities, among other characteristics. In order to offer support to practices performed in Ubiquitous Laboratories a framework called Ubiquitous Laboratory for Practical Activities (u-LabPA) was created, which allows students to collect data from laboratory activities and to access them later in the form of simulations or virtual environments. In this work we perform the formal modeling and simulation using Colored Petri Nets (RdPC), as well as the analysis of the results of the requisits "Authentication", "Register Activity", "Register User Activity", “Provide User Activities”, "Perform Activity", present in the u-LabPA framework. The results of this analysis reveal that the activity flow of the u-LabPA framework met its basic requirements as well as the stress tests for which it was submitted, maintaining its consistency and its behavior within the expected spectrum. / A Computação Ubíqua é uma área que relaciona tecnologias e conceitos como Pervasividade, Mobilidade, Adaptabilidade e Aplicações Orientadas à Localização. Dentre as tecnologias que se destacam hoje nesta área, têm-se as Redes de Sensores Sem Fio e de Identificação por Radiofrequência, que estão sendo usadas em conjunto para monitorar e identificar objetos e pessoas. Dentro do escopo da Computação Ubíqua, existem os Laboratórios Ubíquos (u-Lab) que são laboratórios que possuem sensoriamento, provimento de serviços de software de apoio ao usuário, apoio a realização de atividades, dentre outras características. A fim de dar suporte às práticas realizadas em Laboratórios Ubíquos foi criado o framework chamado Ubiquitous Laboratory for Practical Activities (u-LabPA), que permite a alunos colherem dados de atividades laboratoriais e acessá-los a posteriori na forma de simulações ou ambientes virtuais. Neste trabalho é feita a modelagem formal e simulação em Redes de Petri Coloridas (RdPC), bem como a análise de resultados dos requisitos “Autenticação”, “Cadastra Atividade”, “Registra Atividade de Usuário”, “Disponibiliza Atividades de Usuário” e “Realiza Atividade”, presentes no framework u-LabPA. Os resultados desta análise mostram que o fluxo de realização de atividades do framework u-LabPA atendeu a seus requisitos básicos bem como aos testes de estresse para o qual foi submetido, mantendo sua coerência e o seu comportamento dentro do esperado.

RIBAS, M. Um Modelo de decisão para adoção de serviços em nuvem usando redes de Petri. 2015. 121 f. Tese (Doutorado em Engenharia de Teleinformática) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2015. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2015-12-21T16:50:41Z No. of bitstreams: 1 2015_tese_mribas.pdf: 8160411 bytes, checksum: 361199fdfa8d2b92fce33301f65f6d36 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-01-04T16:14:22Z (GMT) No. of bitstreams: 1 2015_tese_mribas.pdf: 8160411 bytes, checksum: 361199fdfa8d2b92fce33301f65f6d36 (MD5) / Made available in DSpace on 2016-01-04T16:14:23Z (GMT). No. of bitstreams: 1 2015_tese_mribas.pdf: 8160411 bytes, checksum: 361199fdfa8d2b92fce33301f65f6d36 (MD5) Previous issue date: 2015-09-24 / Cloud services are now widely used, especially in Infrastructure as a Service (IaaS), with big players offering several purchasing options, and expanding almost daily the range of offered services. Cost reduction is a major factor promoting cloud services adoption. However, qualitative factors need to be evaluated as well, making the decision process of cloud services adoption a non-trivial task for managers. In this work, we propose a Petri net-based multi-criteria decision-making (MCDM) framework, in order to evaluate a cloud service in relation to a similar on-premises offer. The evaluation of both options considers cost and qualitative issues in a novel and simple method that incorporates best practices from academy and IT specialists. Furthermore, the use of Petri net models allows powerful extensions to perform deeper analysis of specific factors as needed. The framework can be helpful for IT managers to decide between the two options, and can be used for any type of cloud service (IaaS, SaaS, PaaS). Since cost is one of the most important factors promoting cloud adoption, we proceed with a deeper analysis of one important cost factor. We propose a Petri net to model cost savings using public clouds spot Instances purchasing option. Through extensive simulations in several scenarios we conclude that spot Instances can be a very interesting option for savings in auto scaling process, even in simple business applications using only a few servers. Exploring different purchasing options for cloud services can make the difference in the decision making process. / Atualmente, os serviços em nuvem são amplamente utilizados, principalmente em infraestrutura como serviço (IaaS), com grandes fornecedores oferecendo várias opções de compra e expandindo quase diariamente a gama de serviços oferecidos. A redução de custos é o principal fator que promove a adoção de serviços em nuvem. No entanto, é preciso avaliar também fatores qualitativos, o que torna o processo de decisão de adoção de serviços em nuvem uma tarefa pouco trivial para os gestores. Este trabalho propõe um modelo para tomada de decisão multicritério (MDMC) utilizando redes de Petri para avaliar um serviço de nuvem comparado com um serviço disponibilizado localmente (on-premises), nas dependências do usuário. A avaliação das duas opções considera questões qualitativas e de custo através de um método novo e simples, que incorpora as melhores práticas de especialistas da academia e de tecnologia da informação (TI). Além disso, o uso de redes de Petri permite extensões poderosas para realizar análises mais profundas de fatores específicos, conforme a necessidade de cada cenário. O modelo pode ser útil para apoiar gestores de TI na decisão entre as duas opções e pode ser usado para qualquer tipo de serviço de nuvem (IaaS, SaaS, PaaS). Como o custo é um dos fatores mais importantes para a adoção da nuvem, procedemos a uma análise mais profunda de um fator de custo importante. É apresentada uma extensão ao modelo, também construído com redes de Petri, para simular economias de custo usando uma determinada opção de compra de serviços em nuvens públicas, as instâncias spot. Através de extensas simulações em vários cenários, o trabalho conclui que a utilização de instâncias spot pode gerar uma grande economia no processo de escalonamento automático, mesmo em aplicações relativamente simples, utilizando apenas alguns servidores. Explorar diferentes opções de compra para os serviços em nuvem faz uma enorme diferença nos custos e pode ter grande influência no processo de tomada de decisão.

SILVEIRA, J. G. Sistema para seleção automática de grupos de ajustes em relés de proteção. 2011. 98 f. Dissertação (Mestrado em Engenharia Elétrica) - Centro de Tecnologia, Universidade Federal do Ceará, 2011. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2012-01-16T17:43:25Z No. of bitstreams: 1 2011_dis_jgsilveira.pdf: 3681383 bytes, checksum: fef266008a88b934c39f8845a1091bfa (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2012-01-16T17:43:53Z (GMT) No. of bitstreams: 1 2011_dis_jgsilveira.pdf: 3681383 bytes, checksum: fef266008a88b934c39f8845a1091bfa (MD5) / Made available in DSpace on 2012-01-16T17:43:53Z (GMT). No. of bitstreams: 1 2011_dis_jgsilveira.pdf: 3681383 bytes, checksum: fef266008a88b934c39f8845a1091bfa (MD5) Previous issue date: 2011-11 / The modern systems of measurement, protection, command, control and supervision (MPCCS) have contributed in a meaningful way to increase the security and reliability of the power systems. The most important part of this multifunctional system is the protection system, which has as the main goal to maintain the power system integrity when it is under a disturbance, assuring the people‟s safety as well as the continuation of the services to the part of the system not involved in the disturbance. For this, the protection system must fulfill some basic requirements such as: proper selectivity and coordination, prompt response, sensitivity to protect the largest zone as possible and reliability. In a system protection, one component takes on a prominent position, given its functional importance: the digital protection relay. It is in this device where the necessary adjustments are configured for proper operation of the protection scheme of a given electrical power system. The digital relays are devices that have several protection functions, with multiple levels of settings, measurements, oscillography, supervision, control and communication. Besides all these features, the digital relays have multiple groups of settings that can be previously configured and switched among them, according to operational needs. The changing of setting group in a relay is a very important resource at a protection system, extensively used by protection sectors of companies in the power sector, allowing the optimization of the protection system setting, making it compatible to a new topology taken on by the system after a fault or an intentional removal of some system component. Nowadays this procedure is performed manually, making it vulnerable to human errors that might occur as a consequence of an outage, with serious effect in the system performance indices. In this sense this work presents a system, based on Colored Petri Nets, able to automatically change the setting groups of a protection system when the power network topology changes. This system monitors in real time the status of the circuit breakers in order to take the decision whether a meaningful change in the network topology has taken place. If so, a command is automatically sent to the relays to change the active group setting so as to maintain a suitable coordination of the protection system. / Os modernos sistemas de medição, proteção, comando, controle e supervisão (MPCCS) têm contribuído de forma significativa para o aumento da segurança, confiabilidade e continuidade de serviço dos sistemas elétricos de potência. O sistema de proteção é parte relevante desse sistema multifuncional, o qual tem como objetivo principal manter a integridade do sistema elétrico quando submetido a um distúrbio, garantindo a segurança de pessoas e assegurando a continuidade de serviço da porção não envolvida no problema. Para tanto, o sistema de proteção deve atender a alguns requisitos básicos tais como: boa seletividade e coordenação, rapidez na atuação, sensibilidade para proteger a maior zona de proteção possível e confiabilidade. No sistema de proteção, um componente assume uma posição de destaque: o relé de proteção digital. É neste componente que são configurados os ajustes necessários para o correto funcionamento do esquema de proteção de um dado sistema elétrico. Os relés de proteção digitais são equipamentos multifuncionais, que possuem diversas funções de proteção, medição de grandezas elétricas, registros oscilográficos, supervisão, controle e comunicação. Além de todos estes recursos, os relés digitais dispõem de múltiplos grupos de ajustes que podem ser previamente configurados conforme necessidade operacional. A mudança de grupo de ajuste de um relé é um recurso amplamente utilizado pelas áreas de proteção das empresas do setor elétrico, possibilitando uma otimização do ajuste do sistema de proteção, compatibilizando-o às diversas topologias assumidas pelo sistema elétrico após uma falta ou retirada intencional de algum componente da rede. Atualmente este procedimento é realizado de forma manual, tornando-o vulnerável à falha humana, podendo ter como consequência desligamentos de grandes blocos de carga por falha de coordenação, com graves prejuízos para os indicadores da qualidade de serviço de duração e frequência de interrupção, DEC e FEC, e para a imagem da empresa. Neste trabalho é apresentado um sistema, baseado em Redes de Petri Coloridas, capaz de realizar a mudança automática entre grupos de ajustes de um sistema de proteção a partir da mudança de topologia do sistema elétrico. O sistema desenvolvido monitora a topologia da rede elétrica, em tempo real, a partir das informações de estado dos disjuntores. Para qualquer alteração na configuração da rede elétrica, que caracterize necessidade de alteração no sistema de proteção, automaticamente são enviados sinais de comando para os relés, alterando os grupos de ajustes ativos de um conjunto predefinido, de modo a se obter a melhor graduação de proteção possível para a porção correspondente do sistema elétrico afetado pela alteração de topologia.

MENEZES, F. A. A. Controle supervisório de sistemas a eventos discretos, usando redes de Petri coloridas. 2011. 103 f. Dissertação (Mestrado em Engenharia de Teleinformática) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2011. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2016-04-04T14:32:13Z No. of bitstreams: 1 2011_dis_faamenezes.pdf: 1860340 bytes, checksum: 3a05c0f439bb0c27930cf841aac417ec (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-04-05T18:56:49Z (GMT) No. of bitstreams: 1 2011_dis_faamenezes.pdf: 1860340 bytes, checksum: 3a05c0f439bb0c27930cf841aac417ec (MD5) / Made available in DSpace on 2016-04-05T18:56:49Z (GMT). No. of bitstreams: 1 2011_dis_faamenezes.pdf: 1860340 bytes, checksum: 3a05c0f439bb0c27930cf841aac417ec (MD5) Previous issue date: 2011-08-09 / This work proposes a newmethod for synthesis of supervisors in discrete event systems using coloured Petri nets, based in the theory of supervisory control. As a main aspect, there is the theoretical and formal mathematical proof of the method for synthesis of supervisors, called Control Constraints on Decomposed Colors (CCDC). In addition, as a consequence, it is presented a method for reducing the number of control places called Fusion of Controllers (FC). The CCDC and FC methods are an extension of the work of Moody and Antsaklis, they propose, originally a theorem proving the synthesis of supervisors using Petri nets thus are proposed here extensions of this theorem to the context of coloured Petri nets. In this case, it is explored the decomposition of the incidence matrix of a coloured Petri net to de…ne control places that are not con‡icting in their actions, using the soft CPNTools. The following is realized the fusion of these control places obtained with CCDC, with the aplication of the FC method. The obtained place is called the resulting fusion supervisor, where it is found the same constraints and contributes with the same control system performance. / Esse trabalho propõe um novo método para síntese de supervisores em sistemas a eventos discretos, utilizando redes de Petri coloridas, baseado no contexto da teoria de controle supervisório. Como aspecto principal, tem-se a formalização teórica e a prova matemática do método para síntese desses supervisores, denominado Restrições de Controle sobre Cores Decompostas (RCCD). Alémdisso, como consequência, é apresentado ummétodo para redução do número de lugares de controle denominado Fusão de Controladores (FC). Os métodos RCCD e FC são uma extensão do trabalho de Moody e Antsaklis, que propõem, originalmente, um Teorema comprovando a síntese de supervisores usando redes de Petri ordinárias e, dessa forma, são propostas aqui as extensões desse Teorema, para o contexto das redes de Petri coloridas. Nesse caso, explora-se a decomposição da matriz de incidência de uma rede de Petri colorida para de…nir lugares de controle que não são con‡itantes em suas ações, usando o soft CPNTools como ferramenta. A seguir, é realizada a fusão desses lugares de controle, obtidos com o RCCD, com a aplicação do método FC, em que o lugar de controle encontrado, denominado supervisor resultante da fusão, atende as mesmas restrições e contribui com a mesma performance de controle do sistema.

BATISTA, I. J. L. Modelo de navegação para robôs móveis baseado em redes de Petri coloridas. 2008. 85 f. Dissertação (Mestrado em Engenharia de Teleinformática) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2008. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2016-04-04T15:54:49Z No. of bitstreams: 1 2008_dis_ijlbatista.pdf: 982015 bytes, checksum: 9bde11dfac7d6eb3bf8e7e9e24909bf6 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-04-05T19:13:07Z (GMT) No. of bitstreams: 1 2008_dis_ijlbatista.pdf: 982015 bytes, checksum: 9bde11dfac7d6eb3bf8e7e9e24909bf6 (MD5) / Made available in DSpace on 2016-04-05T19:13:07Z (GMT). No. of bitstreams: 1 2008_dis_ijlbatista.pdf: 982015 bytes, checksum: 9bde11dfac7d6eb3bf8e7e9e24909bf6 (MD5) Previous issue date: 2008-01-30 / Systems of autonomous navigation must be able to define a sequence of actions to be taken bymobile robots endowed with a set of limited sensors, while exposed to an unknown environment and having to serve simultaneously a set of objectives previously specified. The scientific interest in the study of systems of navigation in unknown environment which are subject of serving to several objectives is motivated basically by its evident potential in industrial applications and by the fact of demanding the implementation of complex solutions strategies. This research presents the modeling of a navigation system for mobile robots through coloured Petri nets. The model presented here can simulate several situations, such as: the representation of the world around the robot, interaction with the environment, trajectory planning, robot location, battery analysis, as well as how to serve as a basis for implementation in a real mobile robot and optimization of the system. / Sistemas de navegação autônomos devem ser capazes de definir uma seqüência de ações a serem tomadas por robôs móveis, dotados de um conjunto limitado de sensores, quando expostos a um ambiente externo suposto desconhecido e tendo que atender simultaneamente a um elenco de objetivos previamente especificados. O interesse científico no estudo de sistemas de navegação em ambientes desconhecidos e sujeitos ao atendimento de múltiplos objetivos é motivado basicamente pelo seu evidente potencial em aplicações industriais e pelo fato de demandarem a implementação de estratégias de soluções complexas. Este trabalho apresenta a modelagem de um sistema de navegação para robôs moveis por meio de Redes de Petri Coloridas. O modelo apresentado consegue simular várias situações, tais como a representação do mundo em volta do robô, interação com o ambiente, planejamento de trajetória, localização do robô e análise das baterias, bem como servir de base para implementação em um robô móvel real e otimização do sistema.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2008 / Bibliografia: f. 95-99 / O mercado de software está a cada dia se aprimorando, trazendo consigo novas ferramentas e novas formas de se administrar empresas. Com foco centrado no Processo de Desenvolvimento de Software (PDS), principalmente no que tange a sua estrutura e ao seu fl

PRATA, B. A. Controle supervisório da cadeia produtiva do biodiesel da mamona baseado em redes de Petri. 2007. 135 f. Dissertação (Mestrado em Logística e Pesquisa Operacional) – Pró-Reitoria de Pesquisa e Pós-Graduação, Universidade Federal do Ceará, Fortaleza, 2007. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2016-03-17T14:31:45Z No. of bitstreams: 1 2009_dis_baprata.pdf: 826833 bytes, checksum: 7d478267869663ccc08177657c50422f (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-04-07T16:52:49Z (GMT) No. of bitstreams: 1 2009_dis_baprata.pdf: 826833 bytes, checksum: 7d478267869663ccc08177657c50422f (MD5) / Made available in DSpace on 2016-04-07T16:52:49Z (GMT). No. of bitstreams: 1 2009_dis_baprata.pdf: 826833 bytes, checksum: 7d478267869663ccc08177657c50422f (MD5) Previous issue date: 2007-09-10 / Nowadays many countries present critical problems related to energy demand-supply equilibrium. The reserves of petroleum-based products are unable to face future demand for the next decades. So, the search for alternative sources of energy has been strongly directed to biodiesel. Several fruit oils can be used as a source for biodiesel production and the castor bean is an example. The castor bean agribusiness is a complex commodity chain, making necessary researches for the conception of this incipient chain. Discrete Event Systems (DES) are largely used in the modeling of commodity chains, aiding the planning and the manage of these systems. Among the DES modeling techniques, the Petri nets stands out for as making a easier a compact representation of a system and for permitting its simulation and analysis. The supervisory control aims for synthesize a supervisor that coordinate the activities of the subsystems in order to satisfy a set of specifications in a general system. The general purpose of this work was create a model, based on Petri nets, that permit the supervisory control of Castor Bean Biodiesel Supply Chain (CBB/SC) in order to guarantee its efficiency and efficacy. It was developed a new method for the supervisory control based on colored Petri nets, called Constraints of Control on Decomposed Colors (CCDC). Also, it was proposed a new framework for the supervisory control in logistics systems. Functional specifications were established for found the system which had its performance evaluated, based on the lead time, through simulation of several operational scenarios. As conclusion, it seems clear that the CCDC method is a consistent approach for DES control, the proposed model helps in a better comprehension about the system in analysis and the supervisory control is a theory that can aid the decision making process in similar chains as CBB/SC / Na conjuntura atual é possível observar o grave problema de escassez energética com o qual a humanidade se depara. Os derivados de petróleo estarão se exaurindo nas próximas décadas e o tempo geológico necessário para a revitalização do estoque desta energia fóssil a inviabiliza no longo prazo. Neste contexto, a busca por fontes renováveis de energia, como, por exemplo, o biodiesel, torna-se de suma importância. Diversas oleaginosas podem ser empregadas para a produção de biodiesel, dentre as quais pode ser destacada a mamona. O agronegócio da mamona constitui-se numa cadeia produtiva complexa, tornando necessários esforços dirigidos para a estruturação desta cadeia ainda incipiente. Sistemas a Eventos Discretos (SED) vêm sendo amplamente utilizados na modelagem de cadeias produtivas, apoiando o processo de planejamento e de gerenciamento de tais sistemas. Dentre as técnicas de modelagem de SED, as redes de Petri destacam-se por propiciarem uma representação compacta de um sistema e por permitirem a sua simulação e análise. O controle supervisório de SED consiste em sintetizar um supervisor que coordene as atividades de subsistemas de modo que o sistema geral satisfaça um conjunto de especificações. O objetivo geral deste trabalho foi elaborar um modelo, baseado em redes de Petri, que permitisse o controle supervisório da Cadeia Produtiva do Biodiesel da Mamona (CP/BDMA), com vistas a garantir sua efetividade. Foi desenvolvido um novo método de controle supervisório baseado em redes de Petri coloridas, denominado Restrições de Controle sobre Cores Decompostas (RCCD), sendo também proposta uma arquitetura para o controle supervisório em sistemas logísticos. Idealizou-se um modelo teórico da CP/BDMA no qual foi possível ressaltar a importância da coordenação de atividades logísticas no âmbito da cadeia. Foram estabelecidas especificações funcionais para o sistema e, em seguida, efetuou-se a avaliação do seu desempenho, com base no tempo de ciclo, através da simulação de diversos cenários operacionais. Como conclusões, pode-se ressaltar que o método RCCD constitui-se em uma eficiente abordagem para o controle de SED, que a modelagem proposta permitiu uma maior compreensão acerca do sistema em estudo e que o controle supervisório é uma técnica que pode subsidiar o processo de tomada de decisão no âmbito CP/BDMA, sendo também aplicável a outras cadeias produtivas agroindustriais

CAPES / O objetivo deste trabalho é apresentar uma proposta de metodologia para o desenvolvimento de projetos de automação industrial com vistas a agregar as vantagens da utilização dos formalismos para representação dos Sistemas a Eventos Discretos com a necessidade de implementar os algoritmos utilizados em equipamentos de controle industrial. Tal metodologia propõe um conjunto de etapas para a construção do algoritmo de controle, baseando-se na Rede de Petri Interpretada utilizada para representação da planta controlada e da lógica de controle. Através desta metodologia é possível realizar o controle de um sistema de automação industrial garantindo que a lógica de controle não possua erros quando for executada. A utilização da metodologia foi exemplificada aplicado-a ao projeto de automação de dois casos práticos, onde o primeiro caso é utilizado para detalhar as etapas contidas na metodologia, já o segundo projeto prático possui uma especificação de funcionamento mais complexa, corroborando a utilização dos métodos formais para garantir a corretude lógica do processo. Buscando evidenciar a independência da metodologia frente à tecnologia utilizada para controlar tais processos, os algoritmos resultantes da execução da metodologia foram implementados em CLP e FPGA, sendo que a utilização de equipamentos de controle com características paralelas aponta uma tendência dos projetos de automação industrial. / The objective of this work is to present a proposed methodology for the development of industrial automation projects by aggregating the advantages of using formalisms for representing Discrete Event Systems with the need to implement algorithms considered in industrial control equipment. This methodology proposes a set of steps for the construction of the control algorithm, based on Interpreted Petri Net used to represent the plant to be controlled and the control logic. Through this method it is possible to control an industrial automation system ensuring that the control logic contains no errors when executed. The use of the methodology was exemplified by automating two study cases, where the former is used to detail the steps in the methodology, and the second presents a practical function with more complex specification, corroborating the use of formal methods to ensure the correctness of the process logic. In order to demonstrate the independence of the methodology regarding to the technology used to control such processes, algorithms resulting from the application of the methodology were implemented in PLC and FPGA, and the use of control equipment with parallel features shows a trend of industrial automation projects.

CAPES / O objetivo deste trabalho é apresentar uma proposta de metodologia para o desenvolvimento de projetos de automação industrial com vistas a agregar as vantagens da utilização dos formalismos para representação dos Sistemas a Eventos Discretos com a necessidade de implementar os algoritmos utilizados em equipamentos de controle industrial. Tal metodologia propõe um conjunto de etapas para a construção do algoritmo de controle, baseando-se na Rede de Petri Interpretada utilizada para representação da planta controlada e da lógica de controle. Através desta metodologia é possível realizar o controle de um sistema de automação industrial garantindo que a lógica de controle não possua erros quando for executada. A utilização da metodologia foi exemplificada aplicado-a ao projeto de automação de dois casos práticos, onde o primeiro caso é utilizado para detalhar as etapas contidas na metodologia, já o segundo projeto prático possui uma especificação de funcionamento mais complexa, corroborando a utilização dos métodos formais para garantir a corretude lógica do processo. Buscando evidenciar a independência da metodologia frente à tecnologia utilizada para controlar tais processos, os algoritmos resultantes da execução da metodologia foram implementados em CLP e FPGA, sendo que a utilização de equipamentos de controle com características paralelas aponta uma tendência dos projetos de automação industrial. / The objective of this work is to present a proposed methodology for the development of industrial automation projects by aggregating the advantages of using formalisms for representing Discrete Event Systems with the need to implement algorithms considered in industrial control equipment. This methodology proposes a set of steps for the construction of the control algorithm, based on Interpreted Petri Net used to represent the plant to be controlled and the control logic. Through this method it is possible to control an industrial automation system ensuring that the control logic contains no errors when executed. The use of the methodology was exemplified by automating two study cases, where the former is used to detail the steps in the methodology, and the second presents a practical function with more complex specification, corroborating the use of formal methods to ensure the correctness of the process logic. In order to demonstrate the independence of the methodology regarding to the technology used to control such processes, algorithms resulting from the application of the methodology were implemented in PLC and FPGA, and the use of control equipment with parallel features shows a trend of industrial automation projects.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O ensino na área de automação industrial, em cursos de engenharia, além dos fundamentos teóricos, requer o aprendizado prático de implementação de redes de Petri, hardwares e softwares dos controladores lógicos programáveis. Para desenvolver conhecimentos e habilidades, é necessário o uso intensivo de laboratórios, os quais nem sempre estão disponíveis nas universidades. Nesse contexto, os laboratórios remotos contribuem para prover experiências e aprendizado prático real, por meio do controle de equipamentos a um número maior de alunos e de universidades diferentes. Este trabalho tem por finalidade implementar um laboratório remoto de automação para viabilizar práticas de aprendizagem de redes de Petri. O laboratório remoto disponibiliza experiências a partir de plantas industriais virtuais e as implementa utilizando um controlador lógico programável (CLP) que é programado em Grafcet de acordo com tarefas pré-definidas. A lógica de controle das plantas industriais é modelada em rede de Petri Interpretada e, posteriormente, é gerado um programa em Grafcet. O laboratório possibilita a qualquer usuário, conectado à internet, a possibilidade de enviar e monitorar comandos remotamente de forma interativa e rápida. Para demonstrar a utilização do laboratório, foi realizado um cenário no qual são descritas as ações de um usuário do sistema e a resposta do sistema às ações do usuário, para a modelagem e controle de uma planta de dosagem de tinta. O trabalho apresenta também um estudo de usabilidade, realizado com dez alunos voluntários do curso de graduação em Engenharia de Controle e Automação, levando em consideração características de inteligibilidade, apreensibilidade, operacionabilidade e atratividade do laboratório remoto. / In education in industrial automation, engineering courses, in addtion to theoretical foundations, it requires practical learning implementation of Petri nets, hardware and software for programmable logic controllers. To develop the knowledge and skills intensive use of laboratories, which are not always available in universities. In this context, remote laboratories contribute to provide experiences and real hands-on learning throught the equipment control to a great number of different students and universities. This study aims to propose build a remote lab automation to provide experiments of Petri nets. Experiences are drawn from a virtual and industrial systems implemented using a programmable logic controller (PLC) that is programmed in Grafcet according to predefined specifications. The system to be modeled is implemented in Petri net and the generated in a program Grafcet. The laboratory enables any user connected to the internet can send and monitor remotely commands interactively and quickly. To demonstrate the use of the laboratory, a practical experiment was carried out with the control of an ink production following step by step guidelines given to the remote user. The paper also presents a usability study conducted with ten course the student volunteers degree in Control and Automation Engineering, taking into account characteristics of understandability, learnability, operability and attractiveness of the remote laboratory.