Primeira lista de exerccios

1. Quais redes da figura 1 so de Petri? Para aquelas que forem, indicar:

2. As transies habilitadas
!. As marcaes a"#s o dis"aro e
$. As transies que continuam habilitadas a"#s o dis"aro.
%. A rede de "etri da figura 2 & sim"les, "ura, sem conflitos, um grafo de
estados, um grafo de e'entos, de escolha li're?
A( )(
*(
+(
,(
-(
.(
/(
0(
1(
2(
3(
-igura 1:
-igura 2:
P1
P2
P!
P% P4
P5
P$
61
62
6! 6$
6% 64
65
4. Para a rede de "etri da figura !, com a marcao 782,9,9,1(, indicar:
a. Quais so as transies habilitadas e
b. Quais as marcaes alcan:'eis a"#s o dis"aro de cada uma
destas transies.
5. 6ransforme a rede de "etri com ca"acidades, da figura $, em u5ma rede de
"etri onde cada lugar & limitado.
-igura !:
P1
P2
P!
61
6%
62 6!
6$
P$
2
2
!
2
-igura $:
P1
P2
P!
61
6%
62
6!
6$
P$
);!
<. A "artir do e=em"lo da figura %, desen'ol'a os modelos solicitados nos
itens a, b e c, "ara incluir a restrio segundo a qual a administrao no
"ermite a entrada de mais de um cliente "or 'e>.
-igura %:
P1
P2
P!
61
62
6! 6$
3egenda:
P1 ? Porta de entrada aberta.
P2 ? @Amero de clientes em atendimento.
P! ? Porta de entrada fechada.
61 ? *ntrada de um cliente.
62 ? BaCda de um cliente.
6! ? 0m"edir entrada de no'os clientes.
6$ ? Admitir entrada de no'os clientes.
D. ,eterminar se cada uma das redes de "etri da figura 4 & limitada, 'i'a eEou
reinici:'el.
19. A rede de "etri da figura 5 & conser'ati'a?
-igura 4:
A(
P1
61
+( P1
61
*(
P1
P2
61
,(
P1
62
61
)
(
P1
61
-(
P1
P2
P!

61
6$
6!
62
.
( P1
P2
P!

61
6$
6!
62
2
/(
P1
P2
P!

61
6$
6!
62
!
0(
P1
P2
P!

61
6$
6!
62
2(
P1
P2
P!

61
6$
6!
62
!
1(
P1
P2
P!

61
6$
6!
62
2
11. )onstruir o grafo de marcaes da rede de "etri da figura < e determinar se
ela & "ersistente.
12. )onstruir o grafo de cobertura "ar a rede de "etri da figura D e determinar
os lugares que no so limitados, se hou'erem.
1!. *stabelecer as matri>es de incidFncia "ara as redes de "etri da figura 19.
-igura 5:
P1
P2
61
P2G
62
-igura <:
P1 P2 61 62
6$ 6!
P!
P$ P%
-igura D:
P1
P2
61
P!
62
6!
-igura 19:
P1
P2
61 6!
62
P!
6$
2
2
a(
P1
P2
61
62
b(
1$. *ncontrar as "rinci"ais "ro"riedades da rede de "etri da figura 11
utili>ando o m&todo de reduo, "ara as trFs marcaes iniciais a seguir:
a. 7
9
;81,9,9,9,9,9(
b. 7
9
;82,9,9,9,9,9(
c. 7
9
;81,1,9,9,9,9(
1%. Hedu>ir a rede de "etri da figura 12, "reser'ando seus in'ariantes. *fetue
as redues considerando as transies na ordem 6
1
, 6
2
, 6
$
e 6
!
.
14. )onsidere a figura 1!. Quando a "roduo de uma "ea & concluCda o
"roduto a de"osita em um estoque, se hou'er es"ao li're. A ca"acidade
de estoque & de trFs "eas. ,e"ois de de"ositar a "ea no estoque o
"rodutor comea a "rodu>ir outra "ea. Im consumidor, a"#s consumir
uma "ea de cada 'e>, retira uma no'a "ea do estoque "ara consumo.
P1
61
-igura 11

P2
62
P!
6!

P%
P$
P4
6%
-igura 12
P1
61
62 P!
6! P$
P2
P%
6$
a. He"resente o funcionamento do sistema rec&m descrito, "or uma
rede de "etri com marcao inicial corres"ondente J da figura.
b. Quais so os in'ariantes de marcao do sistema e quais seus
significados?
15. )onsidere um "rotocolo de gerenciamento de cabines e cabides em uma
"iscina. Ao entrar o cliente "rocura "or uma cabine li're, ao encontr:Kla ele
entra, se troca e coloca suas 'estes na cabine. *m seguida solicita um
cabide, onde guarda suas rou"as "ara liberar a cabine. A"#s o banho, o
cliente entra em uma cabine com seu cabide, libera o cabide e, a seguir,
'esteKse e libera a cabine. 7odele este "rotocolo, "ara trFs cabines e cinco
cabides.
a. L nAmero de clientes banhandoKse & limitado?
b. A rede de "etri & limitada?
c. 7ostre que h: um estado bloqueante.
d. /: bloqueios "ara quaisquer nAmeros de cabines e de cabides?
e. ,efina um "rotocolo "ara o qual no haMa bloqueio e mostre a rede
de "etri corres"ondente.
f. 7odifique a rede de "etri a"resentada no item e, "ara modelar o
nAmero de clientes que es"eram "or uma cabine "ara entrar na
"iscina.
1<. )onsidere duas bolas de bilhar, A e +, que se deslocam sobre uma mesma
linha, "aralela a um dos lados da mesa. )ada bola "ode estar em um dos
trFs estados seguintes: em mo'imento "ara a direita, em mo'imento "ara a
esquerda, ou "arada. 7odele o com"ortamento destas bolas "or uma rede
de "etri, su"ondo que:
a. Quando uma bola bate na lateral da mesa ela "arte no sentido
o"osto ao qual ela 'inha se mo'endo, e J mesma 'elocidade
b. Be ambas as bolas esto em mo'imento 8su"eKse que elas tFm a
mesma 'elocidade( e batem uma contra a outra, elas "artem em
sentido in'erso e J mesma 'elocidade e
c. Be uma bola esti'er "arada e a outra colidir com ela, a que esta'a
"arada "assa a mo'erKse e a outra ":ra.
)omente o funcionamento da rede "ara o maior nAmero de estados iniciais
"ossC'el.
Produtor )onsumidor *stoque
de"#sit
o
retirada
-igura 1!
-igura 1$
A +
1D. ,ois "rocessadores utili>am uma mem#ria comum. Bu"onha que cada
"rocessador "ode assumir um, dentre tFs estados: no necessita de
mem#ria solicita o uso da mem#ria, mas no a usa ou usa a mem#ria.
a. 7odele o funcionamento deste sistema "or uma rede de "etri.
b. Quais so os in'ariantes de marcao desta rede de "etri?
c. A rede de "etri obtida & conser'ati'a?
d. 7ostre que esta rede de "etri & 'i'a.
29. )onsidere que h: dois "aletes 8cada um "ortando uma "ea( que "assam
sucessi'amente sobre as m:quinas 7A1 e 7A2 8'er figura 14(. A m:quina
7A1 s# "ode tratar uma "ea "or 'e> e seu tem"o de ser'io 8,1( & igual
a duas unidades de tem"o 8ut(. A m:quina 7A2 "ode tratar duas "eas "or
'e> e seu tem"o de ser'io, "or "ea, & ,2;!ut. He"resente o
funcionamento deste sistema "or uma rede de "etri tem"ori>ada nos
lugares. L estado inicial & tal que os dois "aletes esto no estoque B61.
He"resente o grafo de marcaes do funcionamento deste sistema J
'elocidade m:=ima.
Processo 1 7em#ria
-igura 1%
Processo 2
-igura 14
7A1 7A2
,1
,2