Centro Universitário de Tecnologias em Integração da Manufatura

Mine Curso para o Mestrado/Doutorado

Disciplina: Modelagem e Controle de Sistemas a Eventos Discretos

Docente: Milton Bastos de Souza

Lista de Exercício III

1 – Considere a RdP definida por

Com todos arcos com peso 1 exceto W(P1, T1) = 2 .

a) Desenhe a RdP correspondente

b) Fazer a M0 = [1, 0, 1]. Mostrar que em qualquer operação subsequente da RdP,
a transição T1 nunca pode ser habilitada.
c) Considere agora M0 = [2, 1, 1] outro estado inicial. Mostrar que em qualquer
operação subsequente da rede ou ocorre “deadlock” ou a marcação retorna
para M0.

2 - Considere o sistema de fila representado pelo diagrama de transição de estado na

figura abaixo. Ele representa um sistema fechado com duas filas e capacidade total de
5 clientes .

a) Desenhe a RdP correspondente

b) Mostre um dos estados possível da rede de Petri que corresponde um dos seis
estado do diagrama de estado transição abaixo.
c) Tem algum estado que coloca a rede em “deadlock”

3 – Construir a arvore de cobertura do modelo em RdP do processo de produção de

peças A e B com compartilhamento da máquina M3. Criar uma tabela relacionando os
estados da arvore com os estados da linha produtiva.

4 – Considere a RdP abaixo, com marcação inicial M0= [1, 1 0, 2]

 a) Após a RdP disparar 2 vezes, encontre um estado onde todas as transições
estão mortas.
b) Suponhamos que queiramos aplicar a sequência de disparo [T3T1 T3T1....].
mostre que isto não é possível para os próximos disparos.
c) Encontre o estado resultante da sequência [T1T2 T3T3].

5 – Um RdP em que não exista malha fechada é chamada de acíclica. Para esta classe
de rede, uma condição necessária e suficiente para o estado x ser alcançável a partir
do estado x0 é que não exista valores inteiros negativos para a equação abaixo

Onde A é a matriz de incidência da rede.

a) Mostre que x=[0, 0, 1, 2] é alcançável de x0=[3, 1, 0, 0] da rede estabelecida

pelas condições abaixo.
Considerar W(P2, T2)=2 e os outros arcos pesos unitários
b) Qual a interpretação do vetor z
 c) Prove que a existência de uma solução inteira não negativa de z implica na
alcançabilidade do estado x.

6 - Considere a rede da figura abaixo.

a) Verificar se a rede é conservativa para qualquer marcação M0

b) Encontrar a marcação inicial que mantem a rede viva
a) Use a equação de estado para verificar que M = [0, 1, 1, 1, 1] é alcançável da
marcação inicial M0 = [2, 0, 0, 0, 0].

7 - Para a Rede de Petri a seguir determine:

(a) O grafo das marcações alcançáveis para a RP.
(b) A rede de petri é viva, segura e/ou limitada para a marcação dada? Justifique.
(c) A marcação resultante após a seqüência de disparos (T1,T2,T3,T5).
8 – Fazer um resumo do artigo em anexo fornecendo as seguintes informações: Título
do artigo, Ano da Publicação, Congresso ou revista, Autores resumo com no mínimo 15
linhas.