Universidade Federal do Maranhão

Engenharia da Computação

Métodos Formais
3ª avaliação

Prof. Bruno Feres de Souza

Aluno: Matrı́cula:

Regras durante a prova:

ˆ A prova é individual.
ˆ É permitida a consulta a material de apoio.
ˆ É vetada a interação com colega.
ˆ A prova deve ser manuscrita em papel branco.
ˆ A prova deve ser digitalizada (via celular ou scanner ) e enviada para bruno.feres@ufma.br até 23:59.
ˆ A não observância de qualquer dos itens acima acarretará a anulação da prova.

I. (2,5 pts) Considere a Rede de Petri RP abaixo. Utilizando as operações de redução e decomposição
vistas em aula, reduza RP para uma rede equivalente contendo apenas dois lugares e duas transicões.
Observação: faça as reduções passo a passo, indicando as operações utilizadas.

II. (4,0 pts) Considere a Rede de Petri abaixo. Responda os itens seguintes:

1. (3,0 pts) Construa sua árvore de cobertura.

2. (0,5 pts) A rede é limitada? Embase formalmente sua resposta.
3. (0,5 pts) Há transições mortas na rede? Embase formalmente sua resposta.

III. (2,0 pts) Considere as Redes de Petri abaixo. Construa suas matrizes de incidência.
 Universidade Federal do Maranhão
Engenharia da Computação

IV. (1,5 pt) Considere a Rede de Petri abaixo. Mostre formalmente que a marcação M = (1, 1) não pode
ser alcançada.