Resumo de Utilizando redes de Petri multiplexadas na síntese de supervisores ...

Dentre os paradigmas utilizados para a primeira fase da resolução do problema de controle na Teoria de Controle Supervisório (TCS), a modelagem, temos as Redes de Petri (RP). Estas são ferramentas matemáticas e gráficas que apresentam muitas vantagens em modelagem e síntese de supervisores de Sistemas a Eventos Discretos (SED), desde que, seu desenvolvimento teórico se modelou às necessidades básicas como temporização, controle de evolução dinâmica, linguagens e compactação de subsistemas semelhantes. Elas já foram utilizadas tanto na primeira fase da resolução do problema de controle supervisório (TCS), quanto nas outras duas: pela característica de definição de uma linguagem associada, para a especificação de comportamentos, e pelas características de controle, na fase de síntese do supervisor. Assim, neste artigo é apresentado uma nova classe de RP, denominada de Rede de Petri Multiplexada (RPM), a qual pode compactar várias transições em uma única, com uma função associada, onde os arcos são independentes, definindo uma multiplexação sobre os mesmo em seu disparo. Logo, a motivação para seu uso, são as vantagens dela ter as mesmas características (expressividade), das RP Lugar/Transição (L/Tr), podendo ser usada nos mesmos desígnios; dar uma visão do sistema tendo uma transição como uma central comandando suas partes; compactar em fórmulas lógicas as funções de uma RP com Função de Habilitação de Transições (RPFHT), nas subfunções; modelagem direta com as partes de SEDs, que apresentam compartilhamento; compactar várias transições em uma única, sem perda de informação, facilitando a visualização, e manter a abordagem das redes de Petri com função de habilitação de transições, na síntese de supervisores (modificação mínima nos algoritmos de síntese: AMArA e ACGS, onde, só há mudanças de transições t por subfunções (definidas pela letra grega tau). Também, as linguagens de RP são válidas para a RPM, podendo usar tanto as linguagens formais, como a lógica temporal (LT) na especificação de comportamentos. No caso da LT, especificamente a CTL, não há modificação no algoritmo do parser para lógica temporal. Sendo assim, neste artigo são apresentadas as Redes de Petri Multiplexadas (RPM), introduzindo-as na modelagem, análise e síntese de supervisores para sistemas a eventos discretos (SEDs), juntamente com a CTL na especificação de comportamentos, para resolver o problema de controle supervisório.

Resumos Relacionados