Este trabalho descreve a utilização da Rede de Petri como ferramenta de análise e desenvolvimento da automação de uma Micro-usina de cogeração piloto de 130 kW. O projeto foi implantado no centro laboratorial de qualidade de energia da Escola Politécnica da Universidade de São Paulo. O objetivo principal desta Micro-usina é estudar as principais variáveis inerentes à qualidade de energia e funcionalidades destes tipos de sistemas automatizados. A utilização da Rede de Petri (RP) permitiu prever a alcançabilidade, vivacidade, segurança e reversibilidade do programa aplicativo desenvolvido e implantado em um controlador programável (CLP) de última geração. Através de uma rede de comunicação de protocolo aberto foi possível a troca de informações entre o CLP e os módulos de controle.dos geradores (G1 e G2). Entradas e saídas digitais foram utilizadas para monitorar e comandar as chaves de transferência automática (Close e Open Transition) e também os disjuntores motorizados. As operações realizadas são sinalizadas no painel local de controle e transferência (PCT) assim como, via rede Ethernet, na interface remota de supervisão e controle (SCADA).No estudo de caso da Micro-usina de cogeração foram identificadas um total de 24 posições (Position) distintas, considerando as quatro fontes de geração atuais e os dois centros de consumo de energia. Através de uma IHM local ou um supervisório remoto (SCADA) é possível a mudança entre as posições (topologia) permitindo realizar as principais manobras de paralelismo momentâneo e transitório dos grupos geradores com a concessionária. No programa aplicativo do CLP foi implementado o intertravamento de segurança para todos os equipamentos comandados, assumindo sempre o desconhecimento, por parte do operador, dos critérios e seqüências de segurança exigidos para execução das transições entre topologias (pior caso).

This study is about the usage of the Petri Net as an analysis and development tool of the automation of a pilot micro plant of 130 kW. The project was carried out in the energy quality laboratory center at the Escola Politécnica de São Paulo. Its main goal was to study the most important variables related to the quality of energy and the functionalities of the automatized system types. By using the Petri Net, it was possible to foresee the attainment, vivacity, reliability and reversibility of the software, developed and installed in a state-of-the-art programmable logical controller (PLC). Through an open protocol communication network, information was exchanged between the PLC and the generators (G1 and G2) control modules. Digital inputs and outputs were used to monitor and switch the automatic transfer keys (Close and Open Transition) and the motor switches. The procedures done were shown on a local panel of control and transfer, as well as on the Ethernet, at a remote supervision and control interface (SCADA). In this case study, 24 different positions were identified, taking into account the four sources of generation at the moment and the two centers of energy consumption. Through local IHM or remote supervision (SCADA), it was possible to switch positions (topology) and perform the main maneuvres of momentary and transitional parallelism from generator groups to concessionary. As to the PLC application program, a security block was set to all commanded devices, assuming that the operator was unaware of the criteria and security steps needed to proceed with transitions in topology (worst case).