Solução de algumas questões - Redes de Petri

Prévia do material em texto

1ª lista de exerícios 
 
Q1- A,B,C,D,E são redes de petri 
Q2- A,B,C,D,E tem suas transições habilitadas 
Q3- A{M=(0,1,1)} , B{(M=(0,0,0,1)}, e {M=(0,0,1)}, D{(M=(1)}, E{M=(1)} 
Q4- D, E continuam habilitadas 
Q5- Simples, pois existe somente um conflito, não é pura, pois existe 
realimentação em T7, existe conflito em P3, é um grafo de eventos, não é de 
escolha livre, pois T7 tem dois arcos de entrada. 
Q6- a) M(2,0,0,1) T1 e T5 habilitadas 
b) M(0,1,0,1) → T1 
M(4,0,0,0) → T5 
M=(2,1,0,0) → T1 e T5 
Q7- limitando C=1 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Q8- 
a) Não limitada, viva, não reinicializável; 
b) Não limitada, viva, não reinicializável; 
c) Limitada, viva, reinicializável; 
d) Não limitada, viva, reinicializável; 
e) Não limitada, viva, não reinicializável; 
f) Limitada, morta (T3 sem atividade), reinicializável; 
g) Limitada, morta (T3 sem atividade), reinicializável; 
h) Limitada, morta (T3 sem atividade), reinicializável; 
i) Não limitada, viva, não reinicializável; 
j) Não limitada, viva, reinicializável; 
k) Não limitada, viva, não r reinicializável. 
 
Q9- A rede de petri da figura 7 não é conservativa. 
 
 
 
Segunda Lista de Exercícios 
 
DISCIPLINA: SISTEMAS DE SUPERVISÃO 
Prof. Leonardo Nunes 
1. Defina: 
- Rede de Petri lugar transição; 
- Rede de Petri ordinária; 
- Rede de Petri pura; 
- Grafo marcado; 
- Máquina de estado; 
- Rede de livre escolha; 
- Rede de livre escolha estendida. 
 
 
 Grafo marcado - cada posição possui um arco de entrada e um arco de saída. 
Isso significa que não pode existir conflito, mas pode haver concorrência. 
Matematicamente: 
 Máquina de estado - cada transição possui um arco de entrada, e um arco de saída. 
Isso significa que não pode existir concorrência, mas pode haver conflito (por exemplo, 
para onde o token deve ir a partir de uma posição? Para uma das transições ou 
outra?). Matematicamente: . 
 Livre escolha - um arco ou é o único arco de saída da posição, ou é o único arco 
de entrada numa transição. Isso significa que pode haver ou concorrência ou 
conflito. Matematicamente: 
 Livre escolha estendida - uma rede de Petri que pode ser transformada em uma 
Livre escolha. 
 Escolha assimétrica - concorrência e conflito (em outros termos, confusão). 
Matematicamente: