Sie sind auf Seite 1von 12

XXI Seminrio Nacional de Distribuio de Energia Eltrica

SENDI 2014 - 08 a 13 de novembro


Santos - SP - Brasil
Caio Francisco Vasconcelos de Oliveira Universidade Federal do Cear caio_vas@hotmail.com
Sidney Roberto da Costa Monteiro engsidneyroberto@gmail.com
Giovanni Cordeiro Barroso gcb@fisica.ufc.br
Ruth Pastra Saraiva Leo rleao@dee.ufc.br
Raimundo Furtado Sampaio rfurtado@dee.ufc.br
Jos Giordane Silveira Companhia Energtica do Cear giordane@coelce.com.br
Luiz Eduardo Formiga Companhia Energtica do Cear formiga@coelce.com.br
Eudes Barbosa de Medeiros Companhia Energtica do Cear eudes@coelce.com.br
Jos Roberto Bezerra jbroberto@yahoo.com.br
Sistema de Recomposio Automtica Aplicado a Redes de Distribuio de Energia.
Palavras-chave
Redes Eltricas Inteligentes
Sistema de Recomposio Automtica
Eficincia Energtica
Sistema de Disitribuio
Resumo
1/12
Neste artigo apresentada a implementao de um sistema de recomposio automtica (SRA) para redes de
distribuio de energia eltrica, integrado ao sistema SCADA no Centro de Controle do Sistema (COS) da
Companhia Energtica do Cear (Coelce), para operao em tempo real. O SRA parte das aes para
modernizao da rede eltrica de distribuio da cidade de Aquiraz CE onde se situa a Cidade Inteligente da
Coelce. O SRA usa como dados de entrada as informaes e configurao atual do sistema de distribuio
provenientes do Sistema de Apoio Conduo (SAC) da Coelce. O SRA opera de forma automtica para
recompor partes ss da rede eltrica, aps a interrupo do fornecimento de energia pela atuao de rels de
proteo. Um conjunto de restries considerado na tomada de deciso para recomposio automtica da
rede eltrica, aps uma falta, dentre as quais esto: limite de capacidade dos condutores e transformadores,
existncia de clientes eletrodependentes e nmero de clientes dos trechos desenergizados, e presena de
equipe de manuteno de linha viva na rede. Testes realizados com o SRA tm demonstrado rapidez, segurana
e flexibilidade na recomposio do suprimento de eletricidade, possibilitando melhoria nos indicadores de
qualidade de servio da concessionria.
1. Introduo
Redes Eltricas Inteligentes (REI) constituem um paradigma, amplamente estudado em todo o mundo, para modernizar
as redes eltricas por meio de controle automtico avanado, tcnicas de comunicao e tecnologia da informao.
Sistemas inteligentes para automao de redes de distribuio de energia eltrica esto entre os temas de redes
inteligentes mais pesquisados no Brasil e no mundo [1]. No mbito da automao de sistemas eltricos, muitos
pesquisadores e empresas de energia esto investindo no desenvolvimento de sistemas de recomposio automtica
(SRA) [2]-[4].
Um sistema de recomposio automtica (SRA), tambm denominado de sistema de autorrecomposio (self-healing,
no ingls), capaz de identificar o trecho da rede em falta e os trechos no defeituosos, porm desenergizados como
resultado da falta, restaurar o maior nmero possvel de trechos sem defeito baseado em critrios de segurana
operacional e prioridades de restabelecimento definidos pela concessionria, e retornar a operao da rede eltrica ao
seu estado seguro de forma automtica [5]. Dentre os benefcios advindos da implantao de um SRA para as empresas
de energia eltrica esto: as condies anormais da rede so automaticamente conhecidas; as alteraes na rede so
automaticamente realizadas; os operadores no necessitam realizar manobras de ligar/desligar a rede; diminuio do
tempo de interrupo de energia ao cliente; diminuio dos custos de deslocamento de equipes de campo; melhora dos
indicadores de qualidade e de satisfao do cliente; e reduo de situaes de estresse s quais esto submetidos os
operadores [4].
Dentro deste contexto, neste artigo apresentada a implementao de um sistema de recomposio automtica (SRA)
da rede eltrica de distribuio baseado em um modelo de Redes de Petri Coloridas (RPC). O SRA foi desenvolvido em
linguagem C# (l-se C sharp) utilizando o programa Microsoft Visual Studio 2010, e encontra-se em estgio de
integrao ao sistema SCADA no Centro de Controle do Sistema (COS) da Coelce para operao em tempo real. O
SRA proposto abrange a recomposio automtica da rede eltrica de distribuio de energia da cidade de Aquiraz, que
dista 25 km de Fortaleza (CE) e pertencente Companhia Energtica do Cear - Coelce. Em [2] apresentada a
metodologia utilizada para desenvolvimento e implantao deste sistema.
2/12
Este artigo est organizado como segue. Na Seo II mostrada a Rede de Distribuio de Aquiraz. Na Seo III
descrito o princpio de funcionamento do SRA. . Na Seo IV apresentada a implementao computacional do SRA.
Na seo V desenvolvido um estudo de caso. Na seo VI apresentado o estgio atual da Integrao do SRA ao
SCADA do Centro de Controle. Finalmente, na Seo VII apresentada a concluso do trabalho.
2. Desenvolvimento
Rede Eltrica de Aquiraz
O diagrama unifilar da rede de distribuio de Aquiraz mostrado na Figura 1. A rede Aquiraz suprida diretamente por
trs subestaes em 69 kV/13,8 kV: SE AQZ (Aquiraz), SE ESB (Eusbio) e SE AGF (gua Fria). A SE AQZ a
principal fonte de suprimento da rede Aquiraz, suprindo a maior parte da carga total da rede.
Figura 1 - Rede de Distribuio de Aquiraz

A SE Aquiraz (AQZ) possui 4 alimentadores de distribuio em 13,8 kV. Os religadores 21I4, 21I5, 21I6 e 21I7 so
responsveis pela proteo de cada alimentador sob sua responsabilidade e ao longo do alimentador existem um ou
mais religadores (cor vermelha) e chaves de encontro de alimentadores normalmente abertas (cor verde) para
transferncia de carga para outra subestao.
Os religadores foram alocados ao longo dos troncos de alimentadores, enquanto as chaves secionadoras foram
alocadas nos encontros de alimentadores. Como resultado, a rede Aquiraz dividida em 14 trechos (T1-T14). Alguns
trechos so normalmente supridos pelas SE ESB (T3, T4, T9) e SE AGF (T13 e T14). Em condio de contingncia na
rede, essas trs subestaes podem suprir todo ou parte do sistema de Aquiraz.
Princpio de Funcionamento do SRA
O SRA proposto realiza a recomposio de cada trecho de um sistema eltrico, considerando um conjunto de restries
operativas, tais como:
capacidade dos condutores (ampacidade) e das fontes de suprimento (potncia);
prioridades como potncia no fornecida, nmero de consumidores desenergizados e cargas preferenciais do tipo
3/12
eletrodependentes, hospitais, etc.
Na Figura 2 apresentado o fluxograma de aes do SRA proposto e em seguida so discutidas as suas etapas.
Figura 2 - Fluxograma de aes do SRA.
Topologia Inicial: O ponto de partida a topologia inicial, ou seja, a topologia de operao normal do sistema
quando no h a presena de contingncias no mesmo. Com a Ocorrncia de Falta o sistema realiza o prximo
passo Deteco de Falta.
Deteco da falta: O SRA reconhece a ocorrncia de uma falta a partir do recebimento do estado de abertura do
religador, depois de realizado seu ciclo de religamento, enviado pelo SCADA e efetua uma localizao da falta,
identificando o trecho defeituoso.
Isolamento da Falta: o trecho com falta isolado atravs da abertura de todos seus religadores vizinhos.
Anlise de Vivacidade: O SRA identifica o trecho onde ocorreu a falta e os trechos no defeituosos que, por
consequncia da falta, foram desenergizados.
Seleo do trecho morto de maior prioridade seguinte: Os trechos mortos so ordenados de acordo com a
prioridade desejada, atribuda pela concessionria durante a configurao do SRA.
4/12
Identificao das alternativas de recomposio e anlise das restries: Selecionado o(s) trecho(s) a recompor,
detectam-se os religadores de encontro de alimentador para transferncia das cargas deste trecho para um
alimentador vizinho. Caso no seja encontrado nenhum religador que satisfaa essas condies, uma varivel
informa ao SRA que deve ser realizada a tentativa de reenergizar o trecho de prioridade seguinte, que
compreende a etapa de Seleo do trecho morto de prioridade seguinte. Caso sejam encontradas formas
possveis de energizar o trecho, realizada a anlise das restries que calcula a capacidade da fonte e
ampacidade dos condutores. Se for possvel recompor, o sistema far a operao, voltando para outra Seleo
de trecho morto de maior prioridade. Caso no seja possvel, o sistema tentar recompor os outros trechos
desenergizados.
Alterao da topologia: Indica as mudanas da configurao do sistema de distribuio. No final do processo de
recomposio uma nova topologia da rede adotada.
Recomposio Completa?: nessa etapa o SRA verifica se ainda h trechos que possam ser reenergizados. Caso
haja, retorna etapa de seleo de trecho morto. Caso no haja, o SRA chega ao estado final de recomposio.
Sobrecarga?: Nesta etapa verificado se ocorreu sobrecarga aps a recomposio, e se verdadeiro, o sistema
atua desenergizando trechos, com o objetivo de efetuar um "aliviamento" do alimentador.
Estas etapas so repetidas at que no haja mais nenhum trecho cuja reenergizao seja possvel. Enquanto a rede
no teomar a sua condio normal, a verificao das restries executada repetidamente.
Implementao Computacional do SRA.
O SRA foi modelado, testado e validado usando a tcnica de redes de Petri Colorida (RPC). Para seu correto
funcionamento, os dados de entrada do SRA so divididos em duas categorias: estticos e dinmicos. Os dados de
entrada estticos so aqueles relacionados configurao original da rede (ver Figura 1), bem como as especificaes
dos equipamentos (cabos, transformadores e barramentos). Os dados de entrada dinmicos so aqueles aquisitados
periodicamente, tais como tenso e corrente nos religadores e aqueles aquisitados no instante de uma ocorrncia, tais
como cdigo, funo de atuao e corrente instantnea no religador e sentido da corrente que passa pelo religador.
Funcionalidades do SRA
O SRA foi especificado com as seguintes funcionalidades:
Verificao de descoordenao e falha de abertura de equipamento de proteo;
Localizao e isolamento da falta a partir da abertura de um ou mais disjuntores e/ou religadores;
Localizao de trechos sem falta, mas desenergizados devido falta;
Isolamento de trechos mortos (desenergizados) para recomposio trecho a trecho;
Seleo de trecho a ser recomposto com prioridade para eletrodependentes, nmero de clientes, ou outra
prioridade escolha da concessionria;
Reenergizao dos trechos sem falta a partir dos seguintes critrios:
Anlise de Fontes: se h sobrecarga ou no da fonte supridora (subestao), verificada a partir das
correntes nominais dos transformadores e das cargas ligadas a cada trecho, tendo como priori dade a
recomposio pela fonte original;
Anlise de Trechos: se h ultrapassagem do limite de conduo do condutor, verificada a partir da
ampacidade do condutor e das cargas ligadas a cada trecho;

5/12
Simulador do SRA
Para teste e validao do SRA em modo off-line foi desenvolvido em C# o simulador descrito a seguir.
A tela inicial do simulador do SRA apresentada na Figura 3. Esta tela possui nove abas, a saber: Simulador,
Religadores, Elementos, Cargas, Configuraes, Reiniciar, Exibir, ICCP/OPC, ADD RELIGADOR, as quais as principais
funes so apresentadas a seguir.
Figura 3 - Tela Inicial do Sra.
A) Aba Simulador
Essa aba simula a entrada de dados oriundos do sistema SCADA para o SRA. nesta rea que so simulados eventos
de faltas com partida e atuao das funes de proteo e abertura dos religadores. Conforme ilustrado na Figura 4, a
tela dividida em duas partes: Atuao e Estado.
Figura 4 - Aba Simulador.

Na tela Atuao escolhido o cdigo operacional do religador, conforme identificao no diagrama unifilar, as funes
de proteo partidas ou atuadas (50, 51, 67, 67N, 60BF, 62BF ou BBDS) e o sentido da corrente-de-curto (flag 1 indica
que a rede de distribuio est alimentada pela SE Aquiraz e flag zero, corrente est em sentido reverso, indicando que
a rede Aquiraz est alimentada por outra fonte). O simular permite gerar a lista de religadores com suas respectivas
funes de proteo e acrescentar novos religadores rede.
Em Estado so simuladas as aberturas de religadores, onde possvel escolher uma lista de religadores que foram
6/12
abertos pelo sistema de proteo da concessionria.
B) Aba Religadores
Na Figura 5 representada a topologia dos religadores de acordo com a rede de Aquiraz. Na tela constam informaes
do tipo: nome do religador, estado do religador (quadrado preenchido significa religador fechado; o contrrio, religador
aberto), origem (trecho a montante do religador), destino (trecho a jusante do religador), corrente medida pelo religador
(em amperes) e flag, indicando o sentido de corrente de carga (quando clicado o sentido origem - destino).
Figura 5 - Aba Religadores.
C) Aba Elementos
Nesta aba, apresentada na Figura 6, so apresentados todos os elementos (transformadores, barramentos e
religadores) do sistema de distribuio de Aquiraz, divididos nas seguintes reas: Elementos, Capacidade, Prioridade,
Fonte Inicial, Fonte Atual, Cliente, Tipo, Em Falta, EletroDep (Eletrodependente), Vivacidade e Fonte, que correspondem:
Elementos: rea que nomeia os elementos do sistema (cdigo), os quais so divididos em trecho, barramento,
fonte/transformador.
Capacidade: Expe a capacidade de conduo de cada elemento (em amperes). No caso de elementos tipo
trechos/barramento essa caracterstica representa a capacidade do condutor; em elementos do tipo
fonte/transformador indica a capacidade de fornecimento de energia.
Prioridade: Indica a prioridade de recomposio de cada elemento da rede, podendo esse campo ser modificado
de acordo com a exigncia escolhida: nmero de clientes e eletrodependentes, ou outro critrio a escolha da
concessionria.
Fonte inicial: Indica a fonte que alimenta o elemento correspondente antes de uma possvel recomposio.
Fonte atual: Indica a fonte que alimenta o elemento correspondente aps uma possvel recomposio.
Cliente: Indica o numero de clientes que esto conectados ao determinado elemento.
Tipo: Indica o tipo do elemento (1:fonte, 2:barramento, 3:trecho).
Em Falta: Indica o estado do elemento. Se o elemento se apresentar em estado defeituoso ser assinalado.
Eletrodependente: Sinaliza se no elemento est conectado algum consumidor eletrodependente.
Vivacidade: Se o campo estiver marcado indica que o elemento correspondente se apresenta energizado.
7/12
Fonte: Indica se o elemento correspondente fonte (assinalado) ou no.

Figura 6 - Aba Elementos.

D) Simulao
Na tela principal apresentada na Figura 7 mostrado novamente o diagrama unifilar da rede Aquiraz, com algumas
alteraes dos estados dos elementos devido a uma falta em T7 e recomposio de T8 atravs do fechamento do
religador RL3. Os transformadores foram nomeados (01T1 e 01T2) de acordo com o padro da concessionria, bem
como as subestaes Aquiraz (AQZ), Eusbio (ESB), e gua Fria (AGF). Os religadores e trechos tambm so
nomeados de acordo com as listas apresentadas nas abas Religador e Elementos, respectivamente. Com a legenda
possvel identificar algumas caractersticas da rede como: tenso de distribuio, tenso de transmisso e estado dos
religadores.
No caso de ocorrer uma falta em um trecho, o smbolo "raio amarelo" ir ficar piscando naquele trecho e, no caso de um
trecho estar desenergizado (caracterstica da Vivacidade), a linha do trecho do diagrama ficar na cor laranja (como
pode ser visto no trecho T7), diferente do outro estado, energizado (demais trechos), que ficar da cor azul (ver Figura 7).
Outro dado importante est exposto no diagrama: nmero de clientes energizados e nmero de clientes desenergizados.
Estes dados so calculados automaticamente pelo SRA e mostram a quantidade e a porcentagem dos clientes afetados
por uma possvel falta na distribuio. O nmero de clientes encontrado de acordo com a vivacidade de cada trecho.
As aes de simulao so feitas com a utilizao dos botes "play azul" (ver Figura 4) e Reiniciar. A utilizao desses
botes registrada na lista do log indicando a hora e data da ao realizada.

8/12
Figura 7 - Simulao falta em T7.
Estudo de Caso
Para demonstrar a eficincia do SRA, esta seo apresenta um exemplo de ocorrncia de falta em um dos
alimentadores da subestao AQZ e as aes realizadas pelo SRA.
Considere que a rede de distribuio est operando em seu estado normal, como mostrado anteriormente na Figura 2.
Ao simular uma falta no trecho T12, as funes de proteo dos rels associados aos religadores RS6, RS5 e 21I7
sero sensibilizadas, gerando eventos de partida das funes de proteo simuladas. Neste caso, em uma condio
normal, o religador RS6 a montante do trecho em falta deve abrir retirando a parte afetada pela falta. Considerando
nesta simulao uma falha de abertura do religador RS4 e a descoordenao entre os rels associados aos religadores
21I4 e RS5, o rel associado ao religador 21I4 atua abrindo este religador e retirando todo o alimentador de servio,
conforme ilustrado na simulao apresentada na Figura 8. Neste caso, o SRA identifica a falta presente no trecho T12 e
efetua o seu isolamento abrindo o religador RS5, j que o religador RS6 apresentou defeito, e posteriormente fecha o
religador 21I5 para recompor o trecho T10 que foi afetado. O SRA sempre tentar recompor um trecho no defeituoso
de maneira que a fonte inicial seja conservada. Caso no seja possvel a recomposio pela mesma fonte, devido a
alguma restrio anteriormente comentada (capacidade da fonte ou ampacidade do cabo), o trecho no defeituoso ser
recomposto por outra fonte, se no houver violao de restries.
9/12
Figura 8 - Resultado da recomposio. Falta em T7 e T12.
Efetuando esse estudo de caso atravs do simulador do SRA, a lista sequencial de eventos mostrado na Figura 9.
Figura 9 Dados recebidos do Sistema de Proteo.
Analisando a sequncia de eventos da Figura 9, possvel perceber que as funes de proteo dos trs religadores
(RS6, RS5 e R21I4) partiram, mas que a funo falha do religador RS6 atuou, (funo 62BF), indicando que este
religador falhou e que o religador R21I4 abriu, indicando que houve uma descoordenao com o religador RS5, uma vez
que este religador deveria ter atuado.
Concluindo a simulao, o resultado obtido pelo SRA aps a recomposio apresentado na Figura 10.
Figura 10 Resultado obtido pelo SRA aps recomposio.
10/12
Como pode ser visto, o SRA foi capaz de analisar falha de equipamento e descoordenao da proteo e restabelecer o
trecho T10 sem interveno humana. O trecho T11 no foi recomposto devido falha do religador RS6.
Deve-se destacar a importncia das contingncias nessa simulao de recomposio. Como o trecho T10 j era
normalmente alimentado pela SE AQZ, a restrio operacional de suprimento foi atendida sem dificuldades, juntamente
com a de capacidade de conduo do prprio trecho.
A velocidade de resposta do SRA quase instantnea, dessa forma, a recomposio em um sistema real ficaria limitado
ao tempo gasto na comunicao entre os equipamentos de campo.
Como j comentado, a informao da quantidade de clientes desenergizados fornecido na tela do programa. Nesse
estudo de caso, dos 5388 clientes desenergizados inicialmente, pde-se recompor energia para aproximadamente 69%
destes (3735 clientes), representando 15% do total de clientes da rede da regio de Aquiraz.
Integrao, Implementao e Validao do SRA.
O SRA est sendo implantado no centro de controle do sistema (CCS) da Coelce integrado ao Sistema de Apoio
Conduo (SAC), conforme ilustrado na Figura 11.
Figura 11 - SRA integrado ao Sistema de Gerenciamento da Distribuio (DMS) da Coelce.
A integrao entre o SRA e o DMS da Coelce baseada na norma IEC 60870-6 (ICCP). O protocolo ICCP utilizado
para comunicao entre centros de controle e entre aplicaes em um mesmo centro de controle. O sistema DMS da
Coelce composto principalmente pelo SCADA, que faz a comunicao com os sistemas digitais de automao das
subestaes e religadores da rede de distribuio e pelo SAC, que, entre outras funes, recebe as informaes do
SCADA, organiza (o que?) de acordo com as interligaes do sistema eltrico e disponibiliza uma interface grfica para
o usurio. O protocolo ICCP foi escolhido por estar disponibilizado no SAC e por ser um protocolo padro de mercado,
facilitando a implementao.
A implementao do SRA encontra-se atualmente na fase de testes de integrao e apresenta resultados promissores
para aplicao no CCS da Coelce.

3. Concluses
Neste artigo foi apresentado o estgio atual de desenvolvimento do Piloto de Redes Inteligentes para Automao do
11/12
Sistema Eltrico de Distribuio da Cidade de Aquiraz, pertencente Companhia Energtica do Cear - Coelce. O SRA
modelado em Redes de Petri Coloridas e desenvolvido em C# foi testado em modo off-line atravs de um sistema
simulador desenvolvido para este fim, apresentando bom desempenho. Est em curso a integrao do SRA ao sistema
SCADA no Centro de Controle do Sistema da Coelce.
Os resultados obtidos nas simulaes off-line demonstram que o SRA apresenta bom desempenho, proporcionando
rapidez e confiabilidade na recomposio da rede eltrica de Aquiraz. Para a recomposio da rede eltrica so
consideradas restries operativas tipo ampacidade dos cabos, capacidade disponvel das subestaes supridoras,
nmero de clientes desenergizados, potncia no disponvel e a presena de clientes especiais.
O SRA traz grandes benefcios em especial concessionria, aos usurios da rede eltrica e toda a cadeia de
provedores de equipamentos inteligentes para a rede eltrica e rede de comunicao.
4. Referncias bibliogrficas
1.
F. L. M. Antunes, J. B. Almada, J. V. C. Barros, R. F. Sampaio, R. S. dos Anjos, R. P. S. Leo, C. Cavalcanti, K.
Beltro, M. de M. Santos, A. da R. Abaide, E. Soriano, J. J. Coura, M. de O. Costa, S. Souza, Redes eltricas
inteligentes: contexto nacional. Centro de Gesto e Estudos Estratgicos Cincia, Tecnologia e Inovao (CGEE)/
Ministrio de Cincia, Tecnologia e Inovao (MCTI). Srie Documentos Tcnicos. Outubro 2012. N16.
2.
R. F. Sampaio, J. V. C. Barros, R. P. S. Leo, G. C. Barroso, R. M. Arajo, R. P. S. L., G. C. Barroso, E. B. de
Medeiros, K. M. Canuto, J. G. Silveira, K. Queiroz, F. A. Barros, A. L. E. Valentim, L. E. P. Formiga, J. R. Bezerra,
R. A. P. da Silva, T. N. S. Pontes, L. S. Melo, L. M. Ferreira, C. F. V. de Oliveira, M. B. S. Metodologia para
Desenvolvimento de um Sistema de Reposio Automtica para um Projeto Piloto de Redes Inteligentes. In: XX
Seminrio Nacional de Distribuio de Energia Eltrica. SENDI 2012. Rio de Janeiro - RJ Brasil.
3.
C. J. S. MOURA. Estudo para Implantao de um Sistema de Recomposio Automtica para a Rede de
Distribuio do Campus do Pici, Universidade Federal do Cear UFC, 2010, 73p.
4.
K. M. CANUTO, G. C. Barroso, M. P. S. Neto, R. F. Sampaio, R. P. S. Leo, E. B. de Medeiros. Fluent Restoration
Modelling Applied to a Real Power System Using Colored Petri Nets. In: International Conference on Renewable
Energies and Power Quality, 2012, Santiago de Compostela (Spain). European Association for the Development
of Renewable Energies, Environment and Power Quality - ICREPQ'12, 28th to 30th March 2012.
5.
A. T. OHARA. Sistema de Recomposio Automtica de Redes de Distribuio A Aplicao Do Conceito de
Self-Healing. VI CIERTEC 2009 Seminrio Internacional sobre Smart Grid em Sistemas de Distribuio e
Transmisso de Energia Eltrica.
6.
T. D. Sudhakar, K. N. Srinivas. Restoration of power network a bibliographic survey EUROPEAN
TRANSACTIONS ON ELECTRICAL POWER Euro. Trans. Electr. Power 2011; 21:635655.
7.
T. Murata. (April 1989). Petri Nets: properties, analysis and applications. Proceedings of the IEEE. Invited paper.
Vol. 77, No. 4, pp. 541-580.
8.
K. Jensen, and L. M. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems, New York,
Springer, 2009, pp 384.
9.
Christos G. Cassandras and Stephane Lafortune. 2008. Introduction to Discrete Event Systems. Springer.
_________________________________________
12/12