REDES DE PETRI

Exercícios

1) Faça uma Rede Predicado/Transição com duas transições: a primeira registra um novo estudante no
curso de Mestrado em Informática. Além de registrar a matrícula no curso, ele é associado a um
professor como orientador (acadêmico). A outra registra a matrícula em uma disciplina. Neste caso
deve ser verificado se o aluno está matriculado no curso que oferece a disciplina. Sugestão: para
cada classe e para cada relacionamento do esquema crie um predicado que contém os dados da
classe ou relacionamento.

2) Seja a Rede de Petri marcada

R = <S, T, F, M0>, com

S = {a,b,c,d,e,f}
T = {p,q,r,s,t,u}
F = {<p,a>, <a,q>, <q,d>,<d,t>, <p,c>, <c,s>, <s,e>, <e,t>, <a,r>,<c,r>, <r,b>, <b,p>,<t,f>,
<f,u>, <u,b>}
M0 = {f}
a) Desenhe a rede marcada;
b) Mostre o grafo do fecho de M0
c) Encontre possíveis paralelismos, conflitos e confusões no fecho.

3) Seja a Rede de Petri P/T

t5

t1 t2

t4

t3

a) Ela representa um sistema aberto ou fechado?

b) A marcação apresenta um conflito?
c) A marcação como um todo (considerando /M) é conflitante?
d) a marcação é limitada? é estavel (i.e. nunca haverá mais de uma marca em um ponto)?

4) Uma Rede de Petri C/E é dita livre-escolha (FC=free choice) se para todo par
 p t

ou p é a única entrada de t, ou t é a única saida de p.

a) verifique se a rede da questão anterior é FC

b) verifique que a rede

t1
p
t2

é FC. Acrescente novos componentes, tal que ela deixe de ser FC.

5) Uma Rede de Petri é uma máquina de estado (SM=state machine) se cada transição tem uma
entrada e uma saída. Decomponha a rede do item a) da questão anterior em duas redes conexas,
fechadas e SM.

6) Verifique se a rede

p2
t1
p1
t2 p3

é FC e SM.

7) Construa uma rede C/E que admite uma marcação viva e outra não viva.

8) Uma marcação é não-terminal, se existe uma sequência infinita de transições a partir de M:

t1 t2 t3
M ---> M1 ---> M2 ---> ...

Exemplos de redes com marcações terminais

 a) b)

c) d)

encontre, para c) e d) marcações não-terminais.

9) Em um sistema C/E, dizemos que ocorre um contato quando a habilitação de uma transição é
impedida somente por haver uma condição de saida marcada. Por exemplo

Seja a rede C/E marcada (marcação M)

a) existe um contato com M ?

b) mostre o ou os contatos que podem ocorrer no fecho /M
c) altere a rede, mantendo as transições, eliminando todos os possíveis contatos.

10) Uma marcação M em um sistema de Petri é minimal se

i) M é viva
ii) toda marcação M', obtida retirando-se uma ou mais marcas de M, não é viva.
Seja a rede
 a) mostre que a marcação indicada é mínima
b) encontre outra marcação mínima

11) Prove que um sistema de Petri fortemente vivo é vivo

12) Dê exemplos de sistemas que são

a) vivos mas não fortemente vivos
b) fracamente vivos mas não vivos
c) possuem transições habilitadas mas não são fracamente vivos

Em uma Rede de Petri Temporal podem ser associados tempos mínimos e máximos aos lugares ou às
transições. Um par <min,max> em um lugar significa que só após ‘min’ é que a marca fica disponível
no lugar e após ‘max’ ela desaparece. Um par <min,max> em uma transição significa a ‘duração’
mínima e máxima entre o acionamento da transição e a marcação das suas saídas.

13) Seja a rede temporal

P3 P5
0 0
1 P1 5 *
4 P7
1
3
T

P2 P4 P6
2 2 5
5 10 5

a) após uma marcação inicial em P1 e P2, quais os tempos mínimo e máximo após os quais T pode
ser acionado de novo;
b) o que aconteceria se os tempos de P7 fossem (5,5) ao invés de (1,3).

14) Suponha que um projeto P deve ser executado. Ele é formado por uma série de subprojetos P1,
P2, .., Pn. A cada Pi estão associados um tempo mínimo e tempo máximo que ele deverá durar
 para ser executado. A interdependência entre os subprojetos é descrita pela Rede de Petri
Temporal:

P2 P5
1 5
P1 3 5
P4 P7
2 0 0
P3
5 0 P6 1
4 1
5 10

Os tempos min e max de uma transição habilitada

min
max

significam que a transição pode ser acionada a qualquer momento e, após acionada a marca da(s)
entrada(s) sai e demorará de ‘min’ a ‘max’ tempos para aparecer na(s) saída(s).

a) quais os tempos mínimo e máximo em que o projeto ficará pronto?

b) .qual a interdependência entre os processos P2 e P3, entre P2 e P4 e entre P5 e P6
c) suponha que se descobriu que o subprojeto P1 pode ser dividido em duas etapas P1a e P1b e
que P1b por sua vez pode ser feito de duas formas, que chamaremos de P1b’ e P3b”. Refaça a
parte da rede envolvendo P1 com estas novas subdivisões.
d) Como uma Rede de Petri Temporal nas transições, como

min
max
poderia ser transformada em uma Rede de Petri Temporal nos lugares.

15) Seja a seguinte especificação de construção de uma prateleira:

Atividade Símbolo Predecessoras

Corte de madeira para corpo
Idem, para prateleiras
Montagem do corpo
Preparar ajuste das portas
Fabricação das prateleiras
Ajuste das prateleiras
Acabamento do corpo
Acabamento das prateleiras
Lustro das prateleiras
Lustro do corpo
Entrega e montagem
A -
B -
C A
D C
E B
F C,E
G D
H F
I G,H
J G,H
K I, J

a) Fazer um RP para modelar a construção desta prateleira

b) Determine o seu processo
16) Refazer a RP da construção de uma prateleira, considerando os seguintes tempos mínimo e
máximos de execução de cada atividade: A (2,5), B (3,5), C (2,3), D (1,4), E (2,3), F (1,2), G (2,2), H
(1,3), I (1,2), J (2,3), K (1,1).
a) Calcular os tempos mínimos e máximos de construção da prateleira, considerando que há duas
pessoas disponíveis
b) Supondo que toda atividade só é feito por uma pessoa, por quanto tempo uma pessoa fica
parada.

SOLUÇÃO do exercício 11 com os tempos:

a)
A C D G I
(2,5) (2,3) (1,4) (2,2) (1,2)

K
X
(1,1)
(0,0)

B J
(3,5)
E F H
(2,3) (1,2) (1,3) (2,3)

a) TEMPO MÍNIMO
T min 1 2 3 4 5 6 7 8 9 10
P1 A A C C D G G I K
P2 B B B E E F H J J

a) TEMPO MAXIMO
T min 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
P1 A A A A A C C C D D D D G G I I K
P2 B B B B B E E E F F H H H J J J

b) No caso do mínimo são 2 tempos e no máximo 1 tempo.

17)
a) Faça uma Rede de Petri L/T Temporal com marcas nos lugares para modelar um sistema de
processamento de processos que passam por até 5 setores. Cada setor tem um prazo de
processamento de um pedido (uma marca). O pedido só pode seguir adiante após o prazo mínimo.
Se não for encaminhado dentro do prazo máximo, o pedido é arquivado (removido da rede).
Suponha os seguintes setores, com seus respectivos prazos: A(1,10), B(4, 20), C(5,5), D(0,2) e
E(2,*). As dependências entre os setores são: A é o primeiro, B e C são independentes, D é
opcional e E é o último setor.
b) Considerando a chegada dos seguintes processos, nos respectivos tempos: p1(1), p2(3), p3(4),
p4(4), p5(7). Considerando que uma transição sempre escolhe a marca que está com prazo mais
próximo a vencer, mostre possíveis sequencias de processamento dos 5 processos.
18) Altere a rede da questão anterior destemporalizando a atividade A sendo que se uma marca não é
removida no prazo máximo ela é entregue a um outro lugar que representa um aviso de
arquivamento.
19) Refaça a questão anterior considerando as atividades nas transições.
20) Refaça a questão anterior considerando que há dois tipos de ;processos: normais e urgentes. Eles
serão distinguidos com tempos nas marcas.
21) Faça agora uma Rede Predicado/Transição da questão 19 acima.
22) Para a Rede Predicado/Transição abaixo, que descreve um sistema de reservas de vôos, faça
a) Acrescente as variáveis que faltam nas arestas e modele o fato de que uma desistência reduz o
número de lugares ocupados;
b) Explique a ação de "Reserva" após "Prepara" mandar os seguintes pares (p, v): (p3,v1), (p3,v2),
(p1,v1), (p4,v2), (p3,v1). Mostre como ficará a marcação da rede. O que acontecerá se o passageiro
p4 desistir do vôo v2?
c) Um passageiro que confirmar uma reserva, pode fazer uma segunda reserva no mesmo vôo? Como
mudar isto?

Lugares-Ocupados(N)
<v,ocup> <v1,379>
RESERVA
<v2,300>
PREPAR <p,v> <p,v>
A ocup < lim <v,ocup'>
ocup' = ocup+1

Limite-Lugares(L) lim

380 <p,v> CONFIRMA

RESERVADO(P,V)
<P5,V1> r='desiste'
<P4,V2>

CONFIRMADO(P,V) <p,v,r> CONFIRMA

CONFIRMA /
DESISTE
r='confirma'

22) s