Exercício Pratico Métodos Formais

Prévia do material em texto

UNIVERSIDADE DO ESTADO DO RIO GRANDE DO NORTE – UERN 
FACULDADE DE CIÊNCIAS EXATAS E NATURAIS – FANAT 
DEPARTAMENTO DE INFORMÁTICA – DI 
DISCIPLINA: MÉTODOS FORMAIS 
PROFESSORA: CERES GERMANNA 
 
EXERCÍCIO PRÁTICO 
 
 
1. Uma máquina 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. 
2. 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 m udar 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. 
3. Como ficará a RdP abaixo após o 1º disparo da transição? Modelar em RdP a 
resposta 
 
 
4. Editar e simular a Rede de Petri abaixo. Considere que a marcação inicial seja 
Mo = [0 1 0 0 1]. 
 
a) Modifique a Rede de Petri, de modo que ela contabilize os itens produzidos.