Redes de Petri- exercícios

Prévia do material em texto

UNIVERSIDADE FEDERAL DE SANTA CATARINA – UFSC 
CAMPUS BLUMENAU 
ENGENHARIA DE CONTROLE E AUTOMAÇÃO 
 
Laura Corbalan Maraschin 15103113 
 
 
Modelagem, análise e avaliação de Desempenhos de Sistemas Automatizados 
BLU3404-05754 A 
 
Redes de Petri I 
 
 
Quais redes das figuras são de Petri? Para aquelas que forem, indicar: 
a) as marcações após o disparo; 
b) as transições que continuam habilitadas após o disparo. 
 
 
 
 
 
É uma rede de Petri, as marcações ficam como mostrado na imagem: 
 Não há mais transições habilitadas. 
 
É uma rede de Petri, as marcações ficam como mostrado na imagem:
 Não há mais transições habilitadas. 
 
 
 
 
 
 
 
 
 
É uma rede de Petri, as marcações ficam como mostrado na imagem: 
Não há mais transições habilitadas. 
É uma rede de Petri, as marcações ficam como mostrado na imagem: 
Transição estará habilitada para um próx. disparo. 
 
Não é uma rede de Petri pois não há uma entrada para a transição. 
Não é uma rede de Petri pois não há uma saída para a transição. 
 
Não é uma rede de Petri pois só há uma indicação de saída da transição. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Não é uma rede de Petri pois não há uma saída para a transição. 
 
Não é uma rede de Petri pois só há um estado marcado. 
 
Não é uma rede de Petri pois é só uma transição. 
 
Não é uma rede de Petri pois existem duas transições seguidas sem um 
estado intermediário. 
 
Não é uma rede de Petri pois há transições sem entrada e sem saída.