Académique Documents
Professionnel Documents
Culture Documents
-b-
P1
T1
T4
T3
P3
P2
P1
2 (3)
T1
T3
P2
T2
T2
T4
P3
Rezolvare.
Graful de marcaje al reelei din figura a) este :
T2
T1
2 T 2
M0 = 0
M1
0
T
3
1
1
0
T1
M2 =
0
2
0
T1
T4
M3 =
0
0
1
M4 =
1
0
0
T2
0
M5 = 1
0
Se observ c numrul de vectori de marcaj este finit, prin urmare reeaua este mrginit.
Deoarece nici un marcaj nu este vector de blocaj reeaua nu prezint blocaje. Tranziiile
T3 i T4 se pot executa o singur dat. De aceea ele sunt cvasiviabile, spre deosebire de
celelalte tranziii care se execut de un numr infinit de ori. n concluzie, se poate spune
c reeaua este cvasiviabil. Proprietatea de reversibilitate nu este ndeplinit deoarece nu
exist o secven de tranziii care s conduc din marcajul M3 n marcajul iniial.
T1
2
0
0
M0 =
1
1
0
T2
T1
T2
T3
T4
T1
T2
T1
T2
M1= 1
T3
M2= 2
0
T4
M3= 0
1
0
M4=0
0
T1
M5=
0
T3
T1, T2
M6=
P1
e1
T2
e1
T1
P3
P2
e2
T3
P4
P5
T4
e3
e3
T5
Rezolvare.
Reeaua Petri sincronizat este viabil aa cum se poate vedea imediat din graful de
marcaje accesibile.
2
0
M0 = 0
0
0
{T1, T2}/e
0
1
M1 = 1
0
0
T3/e
0
0
M2 = 0
1
1
{T4, T5}/e3
Figura
Dac ns considerm aceeai reea dar nesincronizat se poate vedea, construind din nou
graful de acoperire, c aceasta nu mai este viabil.
Prin executarea de dou ori la rnd a tranziiei T1 sau a tranziiei T2 pornind de la
marcajul iniial se ajunge la blocaj, deci de la aceste marcaje nici o tranziie nu va mai
putea fi executat. Secvenele T1T1 i T2T2 nu sunt posibile pentru reeaua sincronizat.
M0 =
2
0
0
0
0
T1
T2
1
1
0
0
0
1
0
1
0
0
T1
T2
T1
T2
0
2
0
0
0
T5
0
1
1
0
0
0
0
0
1
1
0
0
2
0
0
T3
T4
1
0
0
0
1
T5 1
0
0
1
0
T4
Probleme propuse
3. Pentru reeaua Petri din figura de mai jos, s se determine pe baza grafului de
marcaje proprietile :
- viabilitate;
- mrginire;
- reversibilitate;
- blocaje;
- conflicte (structurale, efective);
- conservativitate;
- secvene repetitive;
- invariani de execuie;
- limbajul generat de reea.
P1
T1
P2
P3
T2
T3
P4
P5
T4
T5
P6
T7
T6
4. Se d reeaua Petri din figura de mai jos. Se cere studierea proprietilor (mrginire,
viabilitate, conflicte, conservativitate, invariani) pe baza grafului de marcaje,
pentru marcajul iniial M0= [1 0 k 0].
P1
1
T2
1
T1
1
k
P3
1
P4
1
T4
1
P2
1
T3
1
P5
P3
T1
T3
P4
P2
T4
P6
T2
Se cer:
a) proprietile de mrginire, viabilitate, conflicte, siguran, puritate;
b) invarianii de marcaj;
c) limbajul generat de RP.
6. Se consider RP din figura de mai jos. S se construiasc arborele de acoperire i s
se studieze proprietile de mrginire, viabilitate reversibilitate i conservativitate.
Care sunt invarianii de marcaj i de execuie?
P2
P1
T1
P3
T2
P4
T3
e1
T1
P2
T2
P5
P4
e1
P6
P3
T3
T4
e2
T5
8. S se studieze proprietile reelei Petri din figura de mai jos. Invarianii de execuie
i limbajul reelei.
T2
P1
P2
T1
P4
P3
T3
P5
T4
P2
P3
T2
T1
P4
P5
T3
T4
P1
T1
T2
P3
P2
T3
T4
P6
P5
P4
b
T5
T6
11. S se determine proprietile Reelei Petri din figura de mai jos utiliznd graful de
marcaje accesibile.
P4
P1
2
T3
T2
T1
3
P2
P3
12. Fie reeaua P temporizat i generalizat din figura, unde di reprezint durata
asociat poziiei Pi. Pentru marcajul iniial reprezentat n figura de mai jos se cer:
a) graful de marcaje accesibile;
b) proprietile reelei.
P1
d1=1
P2
3
d2=1
T2
T1
P3
3
d3=1
13. S se construiasc graful de acoperire pentru reeaua din figura de mai jos att n
cazul sincronizat ct i dac se consider reeaua nesincronizat. S se discute
proprietile reelei n ambele situaii.
P1
e1
e2 T2
T1
P2
e3
T5
e2
T4
e1
T3
P3
14. Pentru reeaua Petri sincronizat din figura de mai jos s se construiasc graful de
marcaje accesibile i s se discute proprietile.
P1
T3
e2
T4
P4
T1
e1
P2
T2
e1
T5 e2
P3
10
T1
11
T2
2
P2
P4
T3
T4
P3
16. Construii arborele de acoperire i graful de marcaje accesibile pentru reeaua Petri
din figura de mai jos. Studiai proprietile de mrginire, viabilitate fr blocaje i
conservativitate.
P1
T1
P3
P2
T3
T2
11
P1
T1
P3
P2
T2
T4
P4
P5
T7
T5
T3
P6
T6
T1
(2)
P3
P2
T2
(3)
(1)
P5
P4
T3
T4
(1)
(2)
T5
P6
T6
12
19. Sistemul din figura de mai jos prelucreaz dou tipuri de piese: A respectiv B,
preluate din dou depozite de intrare cu capacitate infinit. Robotul R1 ncarc
piesele de tip A pe maina M1 i piesele de tip B pe maina M2. Dup prelucrarea
pe maina M1, respectiv pe maina M2, piesele de tip A sunt transferate automat n
bufferul B1 de capacitate 4, iar piesele de tip B sunt transferate automat n bufferul
B2 de capacitate 6. Robotul R2 preia piese din bufferele B1 i B2 i ncarc maina
M3 nti cu o pies de tip A i dup aceea cu dou piese de tip B (pe rnd). Astfel
maina M3 realizeaz operaia de asamblare a unei piese A i a dou piese B n
ordinea A+B+B. Dup asamblare piesele prsesc sistemul.
Se presupune c mainile pot prelucra o singur pies la un moment dat; de
asemenea capacitatea de transfer a roboilor este de o pies. Se cunosc timpii de
prelucrare pe cele trei maini: durata de prelucrare a unei piese de tip A pe maina
M1 este d1 = 3 uniti de timp; prelucrarea unei piese de tip B pe maina M 2 se face
n d2 = 2 uniti de timp; iar durata operaiei de asamblare pe maina M3 este das = 2
uniti de timp.
S se modeleze sistemul de producie astfel nct reeaua s fie mrginit. S se
identifice invarianii de marcaj.
B
R1
M1
d1=3
M2
d2=2
B1
(4)
B2
(6)
R2
M3
1A+ 2B
d_as = 2
20. Considerm execuia de tip Round-Robin a mai multor taskuri. Aceasta presupune
transferul controlului succesiv fiecrui task pentru execuia unei pri a sa.
Taskurile n execuie partajeaz o aceeai unitate central, iar la fiecare control
13
fiecare task poate executa una sau mai multe instruciuni. S se construiasc RP
care modeleaz acest protocol, n urmtoarele cazuri :
a) Se consider 4 taskuri, fiecare task executnd cte o singur instruciune cnd
primete controlul;
b) Se consider 2 taskuri, taskul 1 executnd 3 instruciuni, iar taskul 2 executnd
5 instruciuni la primirea controlului.
Indicaie.
a) Pentru fiecare task se vor considera urmtoarele poziii:
poziie ai care marcata semnifica taskul n ateptare;
poziie exi care marcat semnific faptul c taskul i este n execuie pentru o
instruciune;
poziie pi care dac este marcat semnific faptul c s-a dat controlul taskului
i.
b) Se utilizeaz o reea Petri generalizat.
21. Se consider un proces de producie simplu, coninnd un consumator i un
productor ce folosesc mpreun un acelai stoc, acesta avnd o capacitate limitat
la 3 uniti. Productorul poate produce o singur pies la un moment dat, el putnd
depune piesa n stoc imediat ce a terminat-o dac stocul permite depunerea. Imediat
dup depunerea piesei productorul rencepe procesul de producie. Consumatorul
la rndul su, imediat ce a terminat de consumat o pies (una singur la un
moment dat) ia o noua pies din stoc dac acesta nu este vid. S se modeleze cu RP
funcionarea acestui proces.
depunere
produc tor
retragere
stoc
consumator
22. Fie un sistem de producie care prelucreaz un singur tip de piese conform fluxului
tehnologic descris n figura de mai jos. La intrare n sistem, piesele sunt ncrcate
pe paletele preluate dintr-un stoc de capacitate 3. Robotul R1 ncarc piesele
alternativ pe mainile M1 i M2, M1 fiind ncrcat prima. Bufferele B1 (de
capacitate 4) i B2 (de capacitate 3) sunt ncrcate automat cu piese de pe mainile
M1 respectiv M2 de ndat ce acestea termina operaia de prelucrare. Robotul R2
ncarc maina M3 prelund piese att din bufferul B1 ct i din bufferul B2. Dup
prelucrarea pe maina M3 piesele prsesc sistemul iar paletele sunt reciclate la
intrarea sistemului i depuse n stocul de palete. tiind c fiecare main poate
prelucra o singur pies la un moment dat (capacitate 1), s se construiasc reeaua
Petri care modeleaz acest sistem de producie.
14
Stoc palete
R1
M1 (1)
M2 (1)
B1
B2
R2
M3 (1)
sosirea unei
piese
e2
sosirea unei
cereri de piesa
stoc
sosirea
pieselor
plecarea
pieselor
15
24. Patru filosofi, f1f4, stau n jurul unei mese, ntre ei fiind dispuse baghetele b1b4.
Un filosof se poate gsi ntr-una din urmtoarele dou stri: poate gndi sau poate
mnca. Pentru a manca un filosof are nevoie de cele dou baghete aflate de o parte
i de cealalt a sa. n starea iniial toi filosofii gndesc i baghetele se afla pe
mas.
a) Descriei printr-o reea Petri urmtorul protocol: cnd un filosof dorete s
mnnce el ia mai nti bagheta din dreapta sa, apoi pe cea din stnga sa i
ncepe s mnnce. Cnd termin de mncat el depune pe mas mai nti
bagheta din mana dreapt, apoi pe cea din mana stng i trece astfel n starea n
care gndete. Indicai invarianii minimali pentru reeaua construit. Este
aceasta reea viabil? Dac exist un blocaj gsii secvena de validri care
conduce la acesta i dai o explicaie a acestui blocaj.
b) Definii un protocol astfel nct s nu mai poat aprea situaie de blocaj, i
construii reeaua Petri corespunztoare.
25. Se consider dou bile de biliard, A i B, (figura de mai jos) care se deplaseaz pe o
aceeai dreapt, paralel cu una din margini. Fiecare bil are trei stri: deplasare la
dreapta, deplasare la stnga sau ateptare (bila oprit). Se cere modelarea
comportamentului celor dou bile printr-o reea Petri, presupunnd c: a) atunci
cnd lovete o margine o bil pornete n sens invers cu aceeai viteza; b) dac cele
dou bile se ciocnesc, ambele fiind n micare cu aceeai vitez, ele repornesc n
sens invers; c) dac o bil oprit este lovit de cealalt, prima se pune n micare i
a doua se oprete. Presupunem c bilele realizeaz o micare ideal, fr ncetinire
datorat frecrii. S se studieze, n funcie de marcajul iniial posibil, proprietile
reelei construite, pe baza grafului de marcaje.
B
Sistemul prelucreaz dou tipuri de piese, p1 i p2, care sosesc ntr-o ordine
aleatoare n stocul 1 dar prelucrarea lor pe main fcndu-se prin alternana. Se
presupune c mainile pot prelucra o singur piesa la un moment dat.
Fie evenimentul ei sosirea unei piese de tip pi. O piesa de tipul 1 necesit o
prelucrare de 8 uniti de timp pe maina 1 i de 3 uniti de timp pe maina 2 iar o
piesa de tipul 2 necesit cte 5 uniti de timp pe fiecare main.
a) S se modeleze acest sistem printr-o reea sincronizat i T-temporizat n
condiiile enunate anterior;
b) Cum se modific reeaua n ipoteza c stocul 1 conine permanent cel puin cte
o pies de fiecare tip ?
masina 2
masina 1
sosire
piese
p1, p2
stoc 1
stoc 2
plecare
piese
p1, p2
28. Se consider un flux de fabricaie compus din dou maini, fiecare avnd un stoc de
piese n intrare. n sistem exist dou palete, piesele trecnd ntre maini purtate pe
palete. Aceste palete sunt reciclabile, adic ele se ntorc n stocul 1 dup ce piesele
pe care le-au purtat sunt terminate pe maina 2. Maina 1 poate trata o singur pies
la un moment dat, timpul de servire fiind d1 = 2 uniti de timp, n timp ce maina 2
poate trata dou piese, pentru fiecare fiind necesare d2 = 3 uniti de timp.
a) S se construiasc RP P-temporizat pentru acest sistem;
b) S se construiasc graful de marcaje pentru reeaua P-temporizat considernd
funcionarea cu vitez maxim. Care este durata unui ciclu de fabricaie?
masina 2
masina 1
stoc 1
d1=2
stoc 2
17
d2=3