Primeira lista de exerccios

1. Quais redes da fgura 1 so de Petri? Para aquelas que forem,

indicar:
2. As transies hailitadas!
". As marcaes a#$s o dis#aro! e
%. As transies que continuam hailitadas a#$s o dis#aro.
&. A rede de #etri da fgura 2 ' sim#les, #ura, sem con(itos, um
grafo de estados, um grafo de e)entos, de escolha li)re?
A
*
+*
,*
-*
.*
/*
0*
1*
2*
3*
4*
5*
/igura
1:
6. Para a rede de #etri da fgura ", com a marcao 782,9,9,1*,
indicar:
a. Quais so as transies hailitadas! e
. Quais as marcaes alcan:)eis a#$s o dis#aro de cada
uma destas transies.
;. <ransforme a rede de #etri com ca#acidades, da fgura %, em
u;ma rede de #etri onde cada lugar ' limitado.
/igura
2:
P1
P2
P"
P& P6
P;
P%
<1
<2
<" <%
<& <6
<;
/igura
":
P1
P2
P"
<1
<&
<2 <"
<%
P%
2
2
"
2
=. A #artir do e>em#lo da fgura &, desen)ol)a os modelos
solicitados nos itens a, 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"
<1
<&
<2
<"
<%
P%
+@
"
/igura
&:
P1
P2
P"
<1
<2
<" <%
5,0,A.A:
P1 B Porta de entrada aerta.
P2 B ACmero de clientes em
atendimento.
P" B Porta de entrada fechada.
<1 B ,ntrada de um cliente.
<2 B DaEda de um cliente.
<" B 2m#edir entrada de no)os
clientes.
<% B Admitir entrada de no)os
clientes.
F. .eterminar se cada uma das redes de #etri da fgura 6 ' limitada,
)i)a eGou reinici:)el.
19. A rede de #etri da fgura ; ' conser)ati)a?
/igura
6:
A*
P1
<1
-* P1
<1
,*
P1
P2
<1
.*
P1
<2
<1
+
*
P1
<1
/*
P1
P2
P"
<1
<%
<"
<2
0
* P1
P2
P"
<1
<%
<"
<2
2
1
* P1
P2
P"
<1
<%
<"
<2
"
2*
P1
P2
P"
<1
<%
<"
<2
4*
P1
P2
P"
<1
<%
<"
<2
"
3*
P1
P2
P"
<1
<%
<"
<2
2
11. +onstruir o grafo de marcaes da rede de #etri da fgura =
e determinar se ela ' #ersistente.
12. +onstruir o grafo de coertura #ar a rede de #etri da fgura F
e determinar os lugares que no so limitados, se hou)erem.
1". ,staelecer as matri?es de incidHncia #ara as redes de #etri
da fgura 19.
/igura
;:
P1
P2
<1
P2I
<2
/igura
=:
P1 P2 <1 <2
<% <"
P"
P% P&
/igura
F:
P1
P2
<1
P"
<2
<"
/igura
19:
P1
P2
<1 <"
<2
P"
<%
2
2
a*
P1
P2
<1
<2
*
1%. ,ncontrar as #rinci#ais #ro#riedades da rede de #etri da
fgura 11 utili?ando o m'todo de reduo, #ara as trHs marcaes
iniciais a seguir:
a. 7
9
@81,9,9,9,9,9*
. 7
9
@82,9,9,9,9,9*
c. 7
9
@81,1,9,9,9,9*
1&. Jedu?ir a rede de #etri da fgura 12, #reser)ando seus
in)ariantes. ,fetue as redues considerando as transies na
ordem <
1
, <
2
, <
%
e <
"
.
P1
<1
/igura
11
P2
<2
P"
<"
P&
P%
P6
<&
/igura
12
P1
<1
<2 P"
<" P%
P2
P&
<%
16. +onsidere a fgura 1". Quando a #roduo de uma #ea '
concluEda o #roduto a de#osita em um estoque, se hou)er es#ao
li)re. A ca#acidade de estoque ' de trHs #eas. .e#ois de
de#ositar a #ea no estoque o #rodutor comea a #rodu?ir outra
#ea. Km consumidor, a#$s consumir uma #ea de cada )e?,
retira uma no)a #ea do estoque #ara consumo.
a. Je#resente o funcionamento do sistema rec'm descrito, #or
uma rede de #etri com marcao inicial corres#ondente L da
fgura.
. Quais so os in)ariantes de marcao do sistema e quais
seus signifcados?
1;. +onsidere um #rotocolo de gerenciamento de caines e
caides em uma #iscina. Ao entrar o cliente #rocura #or uma
caine li)re, ao encontr:Mla ele entra, se troca e coloca suas
)estes na caine. ,m seguida solicita um caide, onde guarda
suas rou#as #ara lierar a caine. A#$s o anho, o cliente entra
em uma caine com seu caide, liera o caide e, a seguir, )esteM
se e liera a caine. 7odele este #rotocolo, #ara trHs caines e
cinco caides.
a. N nCmero de clientes anhandoMse ' limitado?
. A rede de #etri ' limitada?
c. 7ostre que h: um estado loqueante.
d. 1: loqueios #ara quaisquer nCmeros de caines e de
caides?
e. .efna um #rotocolo #ara o qual no haOa loqueio e mostre
a rede de #etri corres#ondente.
f. 7odifque a rede de #etri a#resentada no item e, #ara
modelar o nCmero de clientes que es#eram #or uma caine
#ara entrar na #iscina.
1=. +onsidere duas olas de ilhar, A e -, que se deslocam
sore uma mesma linha, #aralela a um dos lados da mesa. +ada
ola #ode estar em um dos trHs estados seguintes: em mo)imento
#ara a direita, em mo)imento #ara a esquerda, ou #arada. 7odele
o com#ortamento destas olas #or uma rede de #etri, su#ondo
que:
a. Quando uma ola ate na lateral da mesa ela #arte no
sentido o#osto ao qual ela )inha se mo)endo, e L mesma
)elocidade!
. De amas as olas esto em mo)imento 8su#eMse que elas
tHm a mesma )elocidade* e atem uma contra a outra, elas
#artem em sentido in)erso e L mesma )elocidade! e
Produtor +onsumido
r
,stoque
de#$sit
o
retirad
a
/igura
1"
c. De uma ola esti)er #arada e a outra colidir com ela, a que
esta)a #arada #assa a mo)erMse e a outra #:ra.
+omente o funcionamento da rede #ara o maior nCmero de
estados iniciais #ossE)el.
1F. .ois #rocessadores utili?am uma mem$ria comum. Du#onha
que cada #rocessador #ode assumir um, dentre tHs 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.
. Quais so os in)ariantes de marcao desta rede de #etri?
c. A rede de #etri otida ' 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 sore as m:quinas 7A1 e 7A2 8)er
fgura 16*. 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. Je#resente o funcionamento deste
sistema #or uma rede de #etri tem#ori?ada nos lugares. N estado
inicial ' tal que os dois #aletes esto no estoque D<1. Je#resente
o grafo de marcaes do funcionamento deste sistema L
)elocidade m:>ima.
/igura
1%
A -
Processo
1
7em$ria
/igura
1&
Processo
2
/igura
16
7A1 7A2
.1
.2