Baixe o app para aproveitar ainda mais
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:
Compartilhar