Validação da sub-rede ATC

São apresentados os resultados de validação e verificação aplicados na sub-rede ATC do sistema CBF-T. Como teste de validação foi aplicada a simulação dinâmica da rede, e como testes de verificação foram aplicados a análise de invariantes de lugar e o gráfico de alcançabilidade e cobertura respectivamente, como são mostrados e abordados a seguir.

a). Simulação dinâmica da Sub-rede ATC. A Figura 4.19 ilustra a simulação dinâmica do fluxo de operações do modelo do algoritmo de transferência de carga.

Esse resultado obtido, todavia, é o mesmo ao workflow obtido anteriormente, nas Figuras 4.8, 4.9, 4.10, 4.11 no caso de fases balanceadas e, 4.13 e, 4.14 no caso de fases desbalanceadas. Notando-se também que para ambos os casos os controles de fluxo “CBC” e “CDC” ambos destacados em círculos verdes, habilitam o fluxo de operação respectivo. Neste caso, como resultado observa-se também a validação de recepção da transmissão de informação de BF ao lugar “Fim de SBF”.

Figura 4.19. Sub-rede ATC: Workflow de inferência de transferência de carga validado.

Baixa Tensão e Microgrids

Capítulo IV Modelagem SED

Tese de Doutorado José Ruben Sicchar Vilchez

b). Análise de invariantes da Sub-rede ATC. Foi aplicado o teste de invariantes de lugar no modelo da sub-rede ATC para verificar o workflow de automação melhorado, isto é, o fluxo formado pelo conjunto de lugares com o mesmo consumo constante de marcas, a fim de garantir eficientemente a realização dos eventos desta rede. Também, analogamente com a análise de invariantes de lugar, verificamos também as propriedades de vivacidade e limitação na rede. Neste caso foram obtidas três equações de invariantes de lugar, conforme se mostra a seguir.

A equação (4.4) mostra o primeiro invariante de lugar obtido da sub-rede ATC, formada por um fluxo de “24” dos “28” lugares da rede.

M(SCF) + M(ATC-in) +M(Subrede ATC) + M(Inicio- ATC) + M(HC) + M(SA) +M(LC) + M(AG) + M(MC) + M(AM) + M(PC) + M(AP) + M(LS) + M(SL) + M(MS) + M(SM) + M(FS)+ M(SG) + M(ES) + M(SX)+ M(Resultado da Inferência) + M(ATC-out) + M(SCL) + M(Fim SBF) = 1

(4.4) As extensões de controle “Controle inibidor ATC”, “Avaliação de Habilitação-ATC”, “CBC” e “CDC” não formam parte deste invariante de lugar. Nota-se também que o workflow resultante tem consumo constante de uma marca (M) para todos os lugares do fluxo totalizando o ciclo com uma marca, ou seja, igual a “1”, tornando-se invariante e constante. Com isso, verifica-se também, a limitação da rede a um conjunto de lugares invariantes que denota neste caso específico, o fluxo melhorado de resultado de BF como “fases desbalanceadas”, em função das regras de inferência para transferência de carga nas fases da rede de BT. A Figura 4.20 representa o workflow denotado pelo invariante de lugar avaliado. O mesmo está indicado em vermelho e sua trajetória identifica a realização na sequência de cada lugar da equação (4.4).

Analogamente, a equação (4.5) mostra o segundo invariante de lugar da sub-rede ATC, cujo fluxo é formado por um fluxo de “18” dos “28” lugares da rede.

M(Avaliação de Habilitação-ATC) + M(HC) + M(SA) + M(LC) + M(AG) + M(MC) + M(AM) + M(PC) + M(AP) + M(LS) + M(SL) + M(MS) + M(SM) + M(FS) + M(SG) + M(ES) + M(SX)+M(Resultado da Inferência) = 1

98 Desenvolvimento a Eventos Discretos de um Controlador de Balanceamento de Fases para Sistemas Legados de

Baixa Tensão e Microgrids

Capítulo IV Modelagem SED

Tese de Doutorado José Ruben Sicchar Vilchez

Todas as extensões de controle de fluxo, avaliação e de inibição, não formam parte deste invariante de lugar, bem como os lugares “SCF”, “SCL”, e os lugares que formam o macro-lugar da sub-rede ATC e, o lugar “Fim SBF”. Nota-se também neste caso, que o workflow resultante tem consumo constante de uma marca (M) para todos os lugares do fluxo totalizando o ciclo com uma marca, ou seja, igual a “1”, tornando-se também invariante e constante. Com isso, verifica-se, a limitação da rede a um conjunto de lugares invariantes que denota neste caso específico, o fluxo melhorado das regras de inferência para o processo de BF. A Figura 4.20 representa o workflow denotado pelo invariante de lugar avaliado. O mesmo está indicado em azul e sua trajetória identifica a realização na sequência de cada lugar da equação (4.5).

Complementarmente, a equação (4.6) mostra o terceiro invariante de lugar da sub-rede ATC, formada pelo fluxo de “22” dos “28” lugares da rede.

Neste caso específico, os lugares “SCF”, e os lugares do macro-lugar da sub-rede ATC, não formam parte deste invariante. Entretanto pode ser observado que o “Controle inibidor-ATC”, e os controles de fluxo “CBC” e “CDC” fazem parte desse fluxo. Ficando assim, validado o workflow referente ao controle de inibição e de fluxo como extensões de controle eficientes para a obtenção de um fluxo melhorado de operações sem conflitos e resultados aleatórios na validação. Nota-se também neste caso, que o workflow resultante tem consumo constante de uma marca (M) para todos os lugares do fluxo totalizando o ciclo com uma marca, ou seja, igual a “1”, tornando-se também invariante e constante. Com isso, verifica-se, a limitação da rede a um conjunto de lugares invariantes que denota neste caso específico, o fluxo melhorado de realização do processo de BF que é habilitado pelo “Controle inibidor ATC”, e da inferência dos resultados de BF: “fases balanceadas” e “fases desbalanceadas” habilitando de forma exclusiva apenas um fluxo a traves das extensões de controle “CBC” e “CDC”, respectivamente.

A Figura 4.20 representa o workflow denotado pelo invariante de lugar avaliado. O mesmo está indicado em verde e sua trajetória identifica a realização na sequência de cada lugar da equação (4.6).

M(Controle inibidor ATC) + M(Inicio- ATC) + M(HC) + M(SA) + M(LC) + M(AG) + M(MC) + M(AM) + M(PC) + M(AP) + M(CBC) +M(LS) + M(SL) + M(MS) + M(SM) + M(FS) + M(SG) + M(ES) + M(SX) + M(CDC) + M(SCL) + M(Fim SBF) = 1

Baixa Tensão e Microgrids

Capítulo IV Modelagem SED

Tese de Doutorado José Ruben Sicchar Vilchez

c). Gráfico de alcançabilidade e cobertura da sub-rede ATC. A Figura 4.21 mostra o gráfico de estados alcançados a partir do estado inicial “S0” destacado no círculo

vermelho. A través deste diagrama é possível verificar a alcançabilidade e cobertura dos “28” lugares e “33” transições da rede avaliada. Tendo-se neste caso também, uma árvore de alcançabilidade limitada sem conflitos, ciclos infinitos de repetência ou deadlocks.

A través do gráfico de alcançabilidade de estados neste caso também, foi possível verificar, a integração e a conservação da propagação do workflow entre os níveis hierárquicos, ou seja, entre a rede superior do sistema CBF-T e a sub-rede ATC, conforme destacado no espiral verde, que engloba os lugares “S0” e “S1” que

representam os lugares da “Sub-rede ATC” e do “Inicio ATC”, destacados em círculos azuis respectivamente.

Figura 4.20. Invariantes de lugar na sub-rede ATC: Workflows de automação validados.

100 Desenvolvimento a Eventos Discretos de um Controlador de Balanceamento de Fases para Sistemas Legados de

Baixa Tensão e Microgrids

Capítulo IV Modelagem SED

Tese de Doutorado José Ruben Sicchar Vilchez

Por outro lado, a través desse diagrama também é possível verificar a alcançabilidade do controle inibidor e habilitador alternado para o controle dos fluxos de “fases balanceadas” e “fases desbalanceadas” respectivamente. Observa-se assim, que foi conservada também a mesma alcançabilidade das extensões especiais de controles de fluxo alternados obtidas anteriormente, para a RP Hierárquica. Obtendo-se para este caso específico, de forma clara os dois fluxos de inferência de BF: o fluxo de processamento esquerdo ou de “fases balanceadas”, habilitado pelo lugar “S18”, destacado em círculo azul e, o fluxo de processamento direito ou de “fases desbalanceadas”, habilitado pelo lugar “S19” também destacado em círculo azul. Por fim, verifica-se também que os fluxos resultantes, tem como lugar final, o lugar “S25”, que representa “Fim SBF”.

Figura 4.21. Alcançabilidade de estados na sub-rede ATC: Gráfico de alcançabilidade e cobertura de estados validado.

Baixa Tensão e Microgrids

Capítulo IV Modelagem SED

Tese de Doutorado José Ruben Sicchar Vilchez