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. -igura 1: A ( +( )(

,(

*(

-(

.(

/( 0(

2( 1(

3(

%. 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?

-igura 2:

P1 :1 P2

:9

:2 P$ :$ P4 :4 P9

P! :! P% :%

4. Para a rede de "etri da figura !, com a marcao 562,7,7,1(, indicar: a. Quais so as transies habilitadas e b. Quais as marcaes alcan8'eis a"#s o dis"aro de cada uma destas transies. -igura !:
P1 2 :1 ! :$ P2 2 :2 :! :% 2

9. :ransforme a rede de "etri com ca"acidades, da figura $, em u9ma rede de "etri onde cada lugar & limitado.

P!

P$

-igura $:

P2

:1

P1

:! P! :2 )> ! :%

:$ 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 :1 P2 :2 :$ P! :!

3egenda: P1 ? Porta de entrada aberta. P2 ? @Amero de clientes em atendimento. P! ? Porta de entrada fechada. :1 ? *ntrada de um cliente. :2 ? BaCda de um cliente. :! ? 0m"edir entrada de no'os clientes. :$ ? Admitir entrada de no'os clientes.

D. ,eterminar se cada uma das redes de "etri da figura 4 & limitada, 'i'a eEou reinici8'el. -igura 4: A(
:1

+(

P1

) (
P1

:1

,(

:1

*(

P1

P1

:1

P1

:1

:2

P2

-(
P1
:1

. (
:$

P1
:1

2 :$

P2 :2 :! P!

P2 :2 :! P!

/ (

P1
:1

! :$

0(
P1
:1

:$

P2 :2 :! P!

P2 :2 :! P!

1(
P1
:1

2 :$

2(
P1
:1

! :$

P2 :2 :! P!

P2 :2 :! P!

17.

A rede de "etri da figura 9 & conser'ati'a?

-igura 9:

P1

:1

P2

P2G

:2

11. )onstruir o grafo de marcaes da rede de "etri da figura ; e determinar se ela & "ersistente. -igura ;:
P1

:1

P2

:2

P!

P$

P%

:!

:$

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. -igura D:
P1 :1

P2 P! :! :2

1!. -igura *stabelecer as matri=es de incidFncia "ara as redes de "etri 17: da figura 17. P1 P1 a(
2 :1 2 P2 :2 :$ P! P2 :2 :! b(

:1

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. 57>61,7,7,7,7,7( b. 57>62,7,7,7,7,7( c. 57>61,1,7,7,7,7( -igura 11
:1
P2

P1 :% P4

P$ :!
P%

:2 P!

1%. Hedu=ir a rede de "etri da figura 12, "reser'ando seus in'ariantes. *fetue as redues considerando as transies na ordem :1, :2, :$ e :!. -igura 12
P1 :1 P2 :2 P!

P$

:!

P%

:$

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. 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? -igura 1!
Produtor

de"#sit o *stoque

retirad a )onsumido r

19. )onsidere um "rotocolo de gerenciamento de cabines e cabides em uma "iscina. Ao entrar o cliente "rocura "or uma cabine li're, ao encontr8Kla 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, 'esteK se e libera a cabine. 5odele este "rotocolo, "ara trFs cabines e cinco cabides. a. L nAmero de clientes banhandoKse & limitado? b. A rede de "etri & limitada? c. 5ostre que h8 um estado bloqueante. d. /8 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. 5odifique 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. 5odele 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 6su"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 "8ra. )omente o funcionamento da rede "ara o maior nAmero de estados iniciais "ossC'el. -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. 5odele 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. 5ostre que esta rede de "etri & 'i'a.

-igura 1%

Processo 1

5em#ria

Processo 2

27. )onsidere que h8 dois "aletes 6cada um "ortando uma "ea( que "assam sucessi'amente sobre as m8quinas 5A1 e 5A2 6'er figura 14(. A m8quina 5A1 s# "ode tratar uma "ea "or 'e= e seu tem"o de ser'io 6,1( & igual a duas unidades de tem"o 6ut(. A m8quina 5A2 "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 B:1. He"resente o grafo de marcaes do funcionamento deste sistema J 'elocidade m8<ima. -igura 14

5A1

5A2

,1

,2