Uma abordagem intervalar para a caracterização de intervalos de disparo em redes de Petri temporais

• Autor(a) principal: Lima,Evangivaldo A.
• Data de Publicação: 2008
• Outros Autores: Lüders,Ricardo, Künzle,Luis Allan
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Sba: Controle & Automação Sociedade Brasileira de Automatica
• Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0103-17592008000400002
• topic: Redes de Petri Temporais; Análise Intervalar; Sistemas a Eventos Discretos

As redes de Petri temporais são uma das extensões das redes de Petri convencionais para modelagem e análise de sistemas a eventos discretos temporizados. A cada transição da rede é associado um intervalo de tempo, o qual delimita o instante de disparo da transição. A análise das redes de Petri temporais tem sido feita por métodos enumerativos que relacionam todos os estados alcançáveis da rede. Neste artigo, usando recursos da álgebra intervalar e utilizando o conceito de classe de estados, é apresentada uma abordagem para resolver problemas relacionados à caracterização de intervalos de tempo de disparo em redes de Petri temporais. A partir de uma expressão algébrica, desenvolvida para cálculo de intervalos de tempo entre duas classes de estados consecutivas, obtém-se uma equação intervalar que possibilita o cálculo de intervalos de tempo entre duas classes de estados quaisquer. Assim, é possível calcular o intervalo de tempo para ocorrência de uma seqüência de eventos. Utilizando um método de redução da rede, a equação intervalar assume a forma matricial e, com isso, amplia a classe das redes de Petri temporais à qual a equação intervalar é aplicável. Por fim, uma aplicação explorando as potencialidades da equação intervalar no cálculo de medidas características de um sistema a eventos discretos temporizados é apresentada.