Redes de Petri e Alcançabilidade

Prévia do material em texto

SISTEMAS A EVENTOS DISCRETOS
REDES DE PETRI 
ALCANÇABILIDADE
ARVORE DE COBERTURA
x’=x+uA
x+uA- ≥0
Problema de 
alcançabilidade 
de estados
Se o número de estado é finito, 
é possível construir 
a árvore de alcançabilidade.
Número de fichas 
em p2 é ilimitado
O estado x=[ 1, 7, 0] 
é coberto.
O estado x= [ 1, 7, 1] 
não é coberto.
x=[ 1 3 5] domina y=[ 1 2 5],
uma vez que x(2) > y(2)
Mas x não domina z= [ 1 3 5].
 
Estritamente maior.
Dominância

Dominância
Terminal


Duplicado

Terminal
Atividades
• Fixação de conceitos: Estudo do tema da aula no material 
didático.
• Exercício:
• 1) Obtenha as árvores de cobertura para as redes de Petri 
mostradas abaixo. A seguir, avalie a alcançabilidade e a 
cobertura dos estados X=[ 4 7 6] e Y=[ 5 9 11]. 
	Slide 1: Sistemas a Eventos Discretos 
	Slide 2
	Slide 3
	Slide 4
	Slide 5
	Slide 6
	Slide 7
	Slide 8
	Slide 9
	Slide 10
	Slide 11
	Slide 12
	Slide 13
	Slide 14
	Slide 15
	Slide 16
	Slide 17
	Slide 18
	Slide 19
	Slide 20
	Slide 21