Redes de PetriCiência da Computação – 2007/01

SOFT - UDESC

Equipe

•Fernando Alves Michalak

•Gustavo Ricardo Batista

Overview

•História

•Conceito

•Definição Formal

•Propriedades

•Elementos Gráficos

Overview

•Redes de Petri e a Representação do Tempo

•Outras extensões

•Áreas de aplicação

•Características e vantagens

História

•Carl Adam Petri -1962

•Primeiras aplicações – 1968

•Modelagem de componentes de hardware, controle de processos, linguagens de programação, sistemas distribuídos e protocolos de comunicação –década de 70

História

•Alto nível – década de 80

•Diversidade – década de 90

•Unificação – atualmente

Conceito

•Formalismo matemático

•Grafo

•Abstração

•Estados

•Ações

•Condições

•Programação paralela

Definição formal

•RP = (P, T, F, W, M0)

Propriedades

•Conservação

•Reiniciabilidade

•Repetividade

•Consistência

•Vivacidade

Propriedades

•Limitação

•Alcançabilidade

•Cobertura

•Persistência

•Justiça

Elementos Gráficos

•Os estados são representados por elipses

•As ações são representadas por retângulos

•Os elementos da relação de fluxo por setas

Redes de Petri e a representação do tempo

•Rede de Petri Temporizada

Redes de Petri e a representação do tempo

•Rede de Petri Temporal

Outras extensões

•Rede de Petri Estocástica

Áreas de aplicação

•Análise de Dados e Diagnose

•Desenvolvimento de Software

•Sistemas Distribuídos

Características e vantagens das redes de Petri

•Nível de detalhamento flexível

•Identifica estados e ações e a estrutura de modo claro e explicito

•Tem a capacidade para representar de forma natural as características dos SED

•Associa elementos de diferentes significados numa mesma representação

Características e vantagens das redes de Petri

•Oferece um formalismo gráfico

•Teoria muito bem fundamentada

•Possui uma semântica forma e precisa

•Incorpora conceitos de modelagem do tipo refinamento

Conclusão

•Modelo flexível e eficaz

•Possui várias extensões

Dúvidas