Carregar apresentação
A apresentação está carregando. Por favor, espere
PublicouHeloísa Faria Alterado mais de 9 anos atrás
1
Redes de Petri Coloridas (CPN) Adilson Arcoverde Gabriel Alves {aoaj,gaaj}@cin.ufpe.br
2
Introdução Suporte a tokens com cores (tipos) diferentes Validadas por simulação Verificadas por espaço de estados e invariantes de lugar
3
Aplicações Protocolos de comunicação HP IEEE Deutsche Telekom Software Nokia HP Hardware VLSI
4
Aplicações Sistemas de controle Tráfego de sinais (Brasil) Peugeout-Citroën Sistemas militares Austrália Estados Unidos Canadá
5
CPN Estrutura Grafo dirigido Declarações Conjunto de cores Declaração de variáveis
6
CPN Inscrições Lugares Nomes, conjunto de cores e marcação inicial Transições Nomes e guardas Arcos Expressão
7
CPN - Notação Nomes Cores Marcação inicial [Guardas]
8
CPN – Notação formal
9
Dado. Um elemento de Y é o par (t,b) onde b é uma, tal que. Um passo Y=(t,b) está habilitado quando o número de marcas de cores correspondentes à ligação do passo é maior ou igual à avaliação da expressão do arco que liga o lugar de entrada à transição t. CPN – Habilitação
10
Características Redução do modelo Não ocorre aumento significativo do espaço de estados Utilizadas para sistemas de grande porte
11
Toy Example
12
Exemplo (Place/Transition)
13
Send Prod Send Producer Prod Send Producer Cons Rec Consumer Cons Rec Consumer
14
Exemplo (CPN) D = { red, blue, green, purple } var p,c : D
15
Tempo As CPN’s podem ser estendidas com o conceito de tempo Corretude lógica Performance Tokens são marcados com timestamps Tempo pode ser: Delays Distribuição de probabilidade
Apresentações semelhantes
© 2024 SlidePlayer.com.br Inc.
All rights reserved.