921825 Redes Petri

PONTIFÍCIA UNIVERSIDADE CATÓLICA DE MINAS GERAIS

Planejamento de Capacidade e
Avaliação de Sistemas
Computacionais
Redes de Petri

Cíntia Avelar
Belo Horizonte
1º Sem./2015

Redes de Petri


Representação matemática para sistemas distribuídos



É um tipo de grafo bipartido com estados associados objetivando o estudo da comunicação entre máquinas de estado



Através de Redes de Petri é possível modelar:
 Sincronização de processos
 Concorrência
 Conflitos
 Partilha de recursos, etc

Redes de Petri


Áreas de aplicação
 Desenvolvimento de software
 Análise de dados
 Programação concorrente
 Diagnose
 Sistema flexível de manufatura

Redes de Petri


Uma Rede de Petri é composta por:
Lugares/Posições: condição, atividade, recurso...
 Transição: evento
 Arcos: indicam os lugares para as transições


Redes de Petri


Exemplo

Redes de Petri


Fichas (marcas ou tokens): estado do sistema



Marcação


Número de marcas em um lugar ou o estado da rede




Notação: M = (1,0) -> O primeiro campo representa a quantidade de tokens na posição 1 e o segundo campo a quantidade de tokens na posição 2

Disparo de uma transição
 Somente há um disparo se a transição estiver habilitada
(lugares de entrada com tokens)

Redes de Petri
Exemplos de disparo de transições

Redes de Petri
Exemplos de disparo de transições

Redes de Petri
Redes de Petri Temporizadas
• Significados:
 Tempo em que não necessita do recurso
 Tempo de aquisição do recurso
 Tempo de utilização do recurso

• Vantagens
 Lógica e relação de tempo

• Desvantagens
 Altera a definição de estado da rede

Redes de Petri
Exemplo de disparo de transições






A transição T1 está temporizada para disparar em 1s, sempre que existir ficha em sua entrada (ficha no lugar).
A
transição
T2
está temporizada para disparar em 5s, sempre que existir ficha em sua entrada (ficha no lugar).
Durante os 4 primeiros segundos a transição T1 será disparada.No quinto segundo haverá o conflito.