Resumo de Síntese DE SUPERVISORES DE SISTEMAS A EVENTOS DISCRETOS TEMPORIZADOS

Rede de Petri é uma ferramenta matemática e gráfica que permite a representação de sistemas que apresentam uma evolução dinâmica descrita pela ocorrência de eventos, como os Sistemas a Eventos Discretos (SEDs), que foi desenvolvida por Carl Adam Petri em sua tese de doutorado em 1962, que em princípio foi desenvolvida para modelagem e análise de sistemas concorrentes. Esta ferramenta é muito utilizada em várias aplicações do cotidiano como estruturação de modelo e supervisão de redes de computadores, sistemas de manufatura e supervisão de tráfego aéreo e ferroviário, sistemas estes que podem ser descritos como sistemas a eventos discretos, em que os modelos em redes de Petri são construídos baseados na formulação de Zhou and DiCesare (1993). Os estudos a respeito dos sistemas a eventos discretos temporizados formalizaram o controle para estes sistemas (desenvolvido por Brandin e Wonham em 1994, através da estrutura de autômatos e linguagens formais e, em outra instância, utilizando a álgebra de dióides. Neste último contexto, também foi introduzido o controle de sistemas a eventos discretos com temporização variável utilizando os autômatos com temporização variável. Entretanto, com a temporização das redes de Petri em suas várias modalidades, foram introduzidos outros formalismos de controle para os sistemas a eventos discretos temporizados. Entretanto, em se tratando da formalização do problema de controle de SEDs com temporização variável, as redes de Petri encontram o mesmo problema que os autômatos temporizados, que é o de não haver uma forma direta de representar tempos de vida que variam no tempo, como é o caso de desgastes de recursos no sistema ou processos químicos, entre outros. Assim, esses sistemas são, geralmente, representados por intervalos de tempos com um valor mínimo e um valor máximo para sua ocorrência, o que limita algumas de suas características específicas. Inclusive, como os autômatos não permitem a representação de sistemas concorrentes, caso em que as redes de Petri se mostram peça fundamental, torna-se necessário a definição de um nova formalização de tempo para esta ferramenta, o que é introduzido aqui, denominada de Rede de Petri com Temporização Variável, a qual também é aplicada aos sistemas a eventos discretos com temporização variável (que apresentam tempos de vida dos eventos variáveis).

Resumos Relacionados