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
Top Related