Uma abordagem intervalar para a caracterização de intervalos de disparo em redes de Petri temporais
AUTOR(ES)
Lima, Evangivaldo A., Lüders, Ricardo, Künzle, Luis Allan
FONTE
Sba: Controle & Automação Sociedade Brasileira de Automatica
DATA DE PUBLICAÇÃO
2008-12
RESUMO
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.
ASSUNTO(S)
redes de petri temporais análise intervalar sistemas a eventos discretos
Documentos Relacionados
- Modelagem de polÃticas de estoques : uma abordagem baseada em Redes de Petri
- Modelagem temporal de sistemas : uma abordagem fundamentada em redes de petri
- Estimativa do consumo de energia devido ao software: uma abordagem baseada em redes de Petri coloridas
- Aplicação da análise global de redes de Petri temporais no contexto de software embarcado
- Uma metodologia para especificar interação 3D utilizando Redes de Petri