Exercício para 1º TVC - Prático

Prévia do material em texto

Revisão Geral – Redes de Petri – Prova 1 
Questão 1 
 
Quais redes da figura 1 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 
 
 
 
 
Questão 2 
A rede de petri abaixo é conservativa? Justificar 
 
Questão 3 
Uma máquina automática deve operar em dois estados principais: pronta e operando. 
A máquina entra em operação com uma taxa de disparo de 3 vezes por unidade de 
tempo. Em operação, a máquina termina sua atividade a uma taxa de 3 vezes por 
unidade de tempo. Quando a máquina está operando, ela pode falhar com uma taxa 
de 1 vez por unidade de tempo. Uma observação indica que quando a máquina está 
em manutenção a mesma pode ser reinicializada com uma taxa de 1 vez por unidade 
de tempo ou voltar ao estado de continuação do processamento anterior com uma 
taxa de 3 vezes por unidade de tempo. Neste último caso, a máquina precisa de um 
novo setup e retorna ao processamento com uma taxa de 2 vezes por unidade de 
tempo. 
Construa a RdP para a situação descrita acima. 
Questão 4 
Petrobras (adaptada) - Uma máquina que aceita moedas de 5 e 10 centavos para a 
compra de barras de chocolate com valores de 15 e 20 centavos. Modelar a RdP para 
todas as possibilidades de compra 
 
 
 
Questão 5 
Considere um computador a fluxo de dados, ou seja, aquele no qual as instruções são 
habilitadas para execução tão logo os dados necessários estejam disponíveis. Admita 
que o computador em questão tenha tantas unidades de processamento quantas 
forem necessárias para a execução da operação x=(a+b)/(a-b). Considere os dados 
disponíveis em registradores e lembre-se que a operação de leitura de registradores 
não é destrutiva, isto é, o dado armazenado nele é preservado. Faça um modelo em 
rede de petri elementar que represente a leitura dos registradores acima. Represente 
a leitura dos registradores contendo as variáveis a e b através da cópia destas variáveis 
para a entrada das unidades operativas de soma e subtração. Considere que as marcas 
representam a existência de dados nas unidades de armazenamento. 
Questão 6 
Faça um modelo em rede de petri lugar-transição de um semáforo de trânsito. 
Observe que o sinal mude de verde para amarelo e deste para vermelho em 
seqüência, mas que ao mudar do vermelho para o verde, mantenha o sinal vermelho 
aceso juntamente com o amarelo, apagando ambos ao acender o verde. Considere o 
sinal inicialmente ligado no vermelho e desconsidere a temporização correspondente. 
Questão 7 
Como ficará a RdP abaixo após o 1º disparo da transição? Modelar em RdP a resposta.
 
 
 
 
 
Questão 8 
Considere a seguinte descrição de um sistema de computador: 
• Trabalhos aparecem e são alocados em uma lista de entrada. Quando o processador 
está livre e há um trabalho na lista de entrada, o processador começa a processar o 
trabalho. 
• Quando o trabalho é completo, é alocado em uma lista de saída e se há mais 
trabalhos na lista de entrada, o processador continua com outro trabalho. Caso 
contrário ele aguarda outro trabalho. 
• É um sistema simples composto de vários elementos: processador, lista de entrada, 
lista de saída e trabalhos. 
 
Podemos identificar várias condições de interesse: 
• O processador está ocioso; 
• Um trabalho está na lista de entrada; 
• Um trabalho está sendo processado; 
• Um trabalho está na lista de saída; 
 
E vários eventos: 
• Um novo trabalho entra no sistema; 
• O processamento é iniciado; 
• O processamento é concluído; 
• Um trabalho sai do sistema. 
 
 
 
 
 
 
FIM!