Aula_Redes de Petri-páginas-6

Prévia do material em texto

Exemplo de uma rede de Petri 2-limitada e conservativa em relação a w = [1 1 2 1 1] 
Os lugares em rede de Petri são muitas vezes usados para representar buffers ou 
registros para armazenamento de dados de intermédio. Verificar se uma rede é limitada ou 
segura, garante que não haverá estouro nos buffers ou registros (overflows), 
independentemente da seqüência sendo disparada. 
Vivacidade 
Uma rede de Petri (N,M0) é tida como viva se para qualquer marcação M ∈ R(M0) 
existir sempre pelo menos uma transição habilitada para disparo. A vivacidade é uma 
propriedade desejada para muitos sistemas, pois trata da ausência de “deadlocks”. Quatro 
condições são necessárias para a ocorrência de deadlock nos sistemas de manufatura: 
1. Exclusão mútua: quando um recurso está disponível ou sendo usado por um 
processo com acesso exclusivo a ele. 
2. "Hold and Wait": um processo pode reservar um recurso enquanto aguarda por 
outros recursos. 
3. "No preemption": um recurso em uso permanece ocupado por um processo até 
que tal processo termine sua execução. 
4. "Circular Wait”: existe um conjunto {p1,p2, ... pn} de processos de espera tal que p1 
está esperando por um recurso que está preso por p2, e p2 está esperando que 
está preso por p3, ... , e pn está esperando por um recurso que está preso por p1. 
Neste sentido são definidos diferentes níveis de vivacidade. Assim, uma transição t 
numa rede de Petri (N,M0) é dita ser: 
- morta (L0-viva) se t nunca pode ser disparada em qualquer seqüência de disparo em 
L(Mo); 
- L1-viva (potencialmente disparável) se t pode ser disparada pelo menos uma vez em 
alguma seqüência de disparo em L(Mo);