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