Descrição: Este projeto se insere dentro do tema
de pesquisa
relacionado à teoria das redes de Petri e sua
aplicação aos sistemas
dinâmicos a eventos discretos. Redes de Petri são um dos
modelos mais
utilizados, e com relativo sucesso, na modelagem e análise
desses
sistemas, uma vez que elas permitem representar de forma
explícita o
paralelismo existente entre as diferentes tarefas e eventos que os
compõem. Elas possibilitam ainda descrever tanto a estrutura e o
comportamento da parte operativa quanto o funcionamento da parte
controle. O uso de redes de Petri ordinárias na
representação de
sistemas dinâmicos limita a análise temporal à
simples descrição das
relações de ordem existentes entre as possíveis
ocorrências de eventos.
Isso se deve ao fato de que nestas redes a informação
temporal não é
explícita. Entre os modelos de redes de Petri que incluem o
tempo na
sua especificação, as redes de Petri temporais
constituem-se no modelo
mais geral de representação temporal. A análise,
entretanto, torna-se
mais complexa com a presença de parâmetros temporais.
Existem dois
tipos de abordagens para caracterizar o comportamento de sistemas
dinâmicos a eventos discretos com paralelismo: acessibilidade e
caracterização de um conjunto de estados e acessibilidade
pela execução
de um roteiro e caracterização desse roteiro. Entre os
métodos baseados
no primeiro tipo de abordagem o mais importante é o grafo de
classes.
Ele permite caracterizar conjuntos de estados que mantém-se
ativos em
uma mesma janela temporal. O grafo de classes apresenta dois
inconvenientes: as informações temporais obtidas
são relativamente
imprecisas em caso de paralelismo e o grafo deve ser
reconstruído
sempre que os intervalos de tempo forem modificados. O segundo tipo de
abordagem é importante para tratar problemas de escalonamento de
tarefas, de diagnóstico, entre outros.
Voltar