1. Redes de Petri
Ciência da Computação – 2007/01
SOFT - UDESC

2. Equipe
•Fernando Alves Michalak
•Gustavo Ricardo Batista

3. Overview
•História
•Conceito
•Definição Formal
•Propriedades
•Elementos Gráficos

4. Overview
•Redes de Petri e a Representação do
Tempo
•Outras extensões
•Áreas de aplicação
•Características e vantagens

5. 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

6. História
•Alto nível – década de 80
•Diversidade – década de 90
•Unificação – atualmente

7. Conceito
•Formalismo matemático
•Grafo
•Abstração
•Estados
•Ações
•Condições
•Programação paralela

8. Definição formal
•RP = (P, T, F, W, M0)

9. Propriedades
•Conservação
•Reiniciabilidade
•Repetividade
•Consistência
•Vivacidade

10. Propriedades
•Limitação
•Alcançabilidade
•Cobertura
•Persistência
•Justiça

11. 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

12. Redes de Petri e a representação
do tempo
•Rede de Petri Temporizada

13. Redes de Petri e a representação
do tempo
•Rede de Petri Temporal

14. Outras extensões
•Rede de Petri Estocástica

15. Áreas de aplicação
•Análise de Dados e Diagnose
•Desenvolvimento de Software
•Sistemas Distribuídos

16. 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

17. 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

18. Conclusão
•Modelo flexível e eficaz
•Possui várias extensões

19. Dúvidas