Resoluo AP1 Redes de Petri

Questo 1

Questo 2
( + )2 = + . + = 2 + 2 2
Opo 1:

1 a 1 , 2 , 3 Multiplicao (*)
2 2 4 Soma (+)
3 bj
4 2
5 2abj
6 2
7 2 + 2 2

Opo 2:
 2

1 a 1 Soma (+)
2 bj 2 Multiplicao (*)
3 a + bj
4 ( + )2

Questo 3

1 4 1 , 2 , 3 Multiplicao (*)
2 c 4 Subtrao (-)
3 a 5 , 8 Subtrao (-) / Soma (+)
4 2 6 Raiz ( _)
5 b 7 Soma (+)
6 4ac 9 , 10 Diviso (/)
7 2a
8 b
9 -b
10 b - 4ac
11 b 4ac
12 b + b 4ac
13 b b 4ac
b+ b4ac
14 2
b b4ac
15 2

Questo 4

1 Pronto para transmitir mensagem

2 Aguardando confirmao de recebimento
3 Mensagem em trnsito
4 Aguardando mensagem Receptor 1
5 Processando mensagem Receptor 1
6 Aguardando mensagem Receptor 2
7 Processando mensagem Receptor 2
8 Confirmao em trnsito

1 Envio de Mensagem
2 Recebe confirmao
3 Recebe Mensagem Receptor 1
4 Envia Confirmao Receptor 1
5 Recebe Mensagem Receptor 2
6 Envia Confirmao Receptor 2

Questo 5

1 Vermelho 1 , 2 , 3 , 4 Acende
2 Amarelo
3 Verde

Questo 6

1 Mquina em repouso M1
2 Mquina em operao M1
3 Mquina em Reparo M1
4 Buffer
5 Mquina em repouso M2
6 Mquina em operao M2
7 Mquina em Manuteno M2
1 , 7 Mquina Mi inicia processamento
2 Mquina M1 termina processamento/ Armazena no buffer
3 , 5 Mquina Mi falha
4 , 6 Mquina Mi Fim de Manuteno
8 Mquina M2 termina processamento
Questo 7

1 Filsofo 1 Pensando
2 Filsofo 1 com Fome
3 Filsofo 1 Comendo
4 Filsofo 2 Pensando
5 Filsofo 2 com Fome
6 Filsofo 2 Comendo
7 Filsofo 3 Pensando
8 Filsofo 3 com Fome
9 Filsofo 3 Comendo
10 Palito 1
11 Palito 2
12 Palito 3
1 , 4 , 7 Comear a Pensar
2 , 5 , 8 Comear a ter Fome
3 , 6 , 9 Comear a Comer
Questo 8

1 Processo de produo 1 Produo da pea

2 Pea produzida 2 Armazenamento no estoque/ Libera Produo
3 Estoque 3 Remoo da pea do estoque pelo consumidor
4 Processo de consumo 4 Consumo da pea
5 Pea consumida
1 Processo de produo 1 Produo da pea - incio
2 Pea produzida 2 Armazenamento no estoque/ Libera Produo
3 Estoque 3 Remoo da pea do estoque pelo consumidor
4 Processo de consumo 4 Consumo da pea
5 Pea consumida 5 Produo da pea - fim
6 Processo de produo terminado 6 Consumo da pea - fim
7 Processo de produo terminado espera
8 Processo de consumo terminado

Questo 9

1 Pegar pea
2 Mover
3 Mover
4 Soltar pea
5 Mover
6 Mover

Questo 10
1 Estado Inicial / Elevador parado / Espera Pressionar Boto
2 Boto 1 Pressionado
3 Boto 2 Pressionado
4 Boto 3 Pressionado
5 Boto 4 Pressionado
6 Boto de Emergncia Pressionado
7 Elevador no Andar 1
8 Elevador no Andar 2
9 Elevador no Andar 3
10 Elevador no Andar 4
11 Elevador Parado
12 Alarme Acionado
1 Pressiona Boto 1
2 Pressiona Boto 2
3 Pressiona Boto 3
4 Pressiona Boto 4
5 Pressiona Boto de Emergncia
6 , 7 , 8 , 9 Elevador em Movimento
10 Estado de Emergncia
11 Acionar Alarme
12 , 13 , 14 , 15 , 16 Retorno ao Estado Inicial

Questo 11

Questo 12

P1 P2 P3 P4 P5 P6
T1 -1 1 0 1 0 0
T2 0 -1 1 0 0 0
T3 0 0 0 -1 1 0
T4 1 0 -1 0 -1 0
T5 -1 0 0 -1 0 1

a) T1 e T2
b) T1, T5 e T3
c) T1
Questo 13

Questo 14

P = {p1, p2, p3, p4, p5, p6, p7, p8, p9}

T = {t1, t2, t3, t4, t5}
Pre = {(p3, t2), (p1, t2), (p2, t3), (p7, t3), (p4, t4), (p9, t4), (p5, t5), (p6, t5), (p8, t5)}
Post = {(t1, p1), (t1, p2), (t2, p4), (t2, p5), (t3, p6), (t4, p3), (t5, p9), (t5, p7), (t5, p8)}
Mo= [0 1 1 0 0 0 1 1 1] .

Questo 15

Pre
T1 T2 T3 T4 T5
P1 0 2 0 0 0
P2 0 0 1 0 0
P3 0 1 0 0 0
P4 0 0 0 1 0
P5 0 0 0 0 1
P6 0 0 0 0 1
P7 0 0 1 0 0
P8 0 0 0 0 1
P9 0 0 0 1 0

Post
T1 T2 T3 T4 T5
P1 1 0 0 0 0
P2 1 0 0 0 0
P3 0 0 0 1 0
P4 0 1 0 0 0
P5 0 1 0 0 0
P6 0 0 1 0 0
P7 0 0 0 0 1
P8 0 0 0 0 1
 P9 0 0 0 0 1

C
T1 T2 T3 T4 T5
P1 1 -2 0 0 0
P2 1 0 -1 0 0
P3 0 -1 0 1 0
P4 0 1 0 -1 0
P5 0 1 0 0 -1
P6 0 0 1 0 -1
P7 0 0 -1 0 1
P8 0 0 0 0 0
P9 0 0 0 -1 1

Questo 16