LUCRAREA 6

UTILIZAREA MEDIULUI PETRI NET TOOLBOX N CAZUL MODELELOR DE TIP REEA PETRI TEMPORIZAT DETERMINIST
1. Consideraii generale, motivaie i obiectiv
Modelele temporizate permit studierea proprietilor cantitative ale funcionrii sistemelor dinamice cu evenimente discrete. O clas important de astfel de modele o constituie reelele Petri temporizate. Temporizarea reelelor Petri poate fi realizat n dou variante: temporizare P - duratele de timp sunt asignate poziiilor; temporizare T - duratele de timp sunt asignate tranziiilor. n cazul cnd prin temporizare (T sau P) se asigneaz durate de timp constante, reeaua temporizat se numete determinist. n cazul cnd duratele de timp sunt aleatoare, reeaua temporizat se numete cu temporizare stohastic. Fiecare reea Petri temporizat P poate fi transformat ntr-o reea temporizat T i reciproc, pe baza unor reguli care asigur echivalena modului de operare. n accepiunea modelrii cu reele Petri n care tranziiile sunt asociate evenimentelor ce se produc instantaneu iar poziiile sunt asociate activitilor ce necesit timp pentru desfurare, modelul rezultat este de tip reea Petri temporizat P. Simulatorul Petri Net Toolbox accept att modele de tip reea Petri temporizat T ct i modele de tip reea Petri temporizat P. Simularea i analiza asistat de calculator permit evaluarea comod a unor indici (criterii) de performan ce caracterizeaz funcionarea procesului fizic modelat prin reea Petri temporizat, exprimnd eficiena att n servirea clienilor, ct i n utilizarea resurselor. n faza de proiectare, evaluarea criteriilor de performan permite introducerea unor strategii de planificare n utilizarea resurselor partajate, care adaug reguli suplimentare pentru operarea controlerului sau le modific pe cele rezultate numai din considerente logice, calitative. Prin parcurgerea acestei edine de aplicaii studentul va dobndi cunotinele necesare modelrii sistemelor dinamice cu evenimente discrete cu ajutorul reelelor Petri temporizate. Aceste modele vor fi utilizate, n cazul determinist, pentru simulare i analiz asistat de calculator n mediul Petri Net Toolbox.

2. Cunotine prealabile necesare

Principii de proiectare a controlerelor logice pentru sisteme dinamice cu evenimente discrete. Utilizarea mediului de simulare i analiz asistat de calculator Petri Net Toolbox.

3. Utilizarea reelelor Petri temporizate n modelarea sistemelor cu evenimente discrete

3.1. Reele cu tranziii temporizate Se spune c o reea Petri este cu tranziii temporizate sau temporizat T, dac fiecrei tranziii ti, i=1, ..., n, i se asociaz un interval de timp di 0, prin intermediul unei funcii de temporizare tip T (tranziie).

SDED Lucrarea 6 n ceea ce privete funcionarea reelei Petri temporizate T, intervalele de timp di0 joac rolul unor ntrzieri ce se manifest dup cum urmeaz: din momentul cnd tranziia ti este validat, un numr de aij jetoane vor rmne rezervate (nedisponibile din punctul de vedere calitativ, logic, al aplicrii regulii tranziiei) n poziia pj care precede ti pentru di uniti de timp, nainte de deplasarea lor prin executarea tranziiei ti. (Reamintim c aij noteaz ponderea arcului de la poziia pj la tranziia ti, fiind elementul generic al matricei de inciden de intrare A ). Ilustrm cele spuse mai sus prin reprezentarea grafic din fig. 6.1 pentru aij =1 i M 0 ( p j ) = 2 . Jetonul rezervat este figurat ca un cerc, iar cel nerezervat ca un disc. n cazul a dou sau mai multe tranziii aflate n conflict, selectarea tranziiei care se va executa se realizeaz pe baza unui mecanism de prioriti sau probabiliti asignate respectivelor tranziii. Duratele de timp asociate tranziiilor nu joac nici un rol n rezolvarea situaiilor conflictuale, n sensul c nu este obligatoriu s se execute tranziia corespunztoare celei mai mici durate de timp. jetoane 2 nerezervate 1 n pj (disponibile logic) 0 jetoane 1 rezervate n pj 0 (nedisponibile logic) d i p
j

1 timp 0 p timp

ti

ti ti t i n curs de execuie sfritul executrii lui ti

timp

nceputul executrii lui ti

Figura 6.1. Ilustrarea executrii unei tranziii temporizate 3.2 Reele cu poziii temporizate Se spune c o reea Petri este cu poziii temporizate, sau temporizat P, dac fiecrei poziii pj, j = 1,...,m, i se asociaz un interval de timp dj 0, prin intermediul unei funcii de temporizare tip P (poziie). n ceea ce privete funcionarea reelei Petri temporizate P, intervalele de timp dj 0 joac rolul unei ntrzieri ce se manifest dup cum urmeaz: din momentul cnd tranziia ti + care precede pj este executat, un numr de aij jetoane vor rmne rezervate (nedisponibile din punct de vedere calitativ, logic, al aplicrii regulii tranziiei) n poziia pj pentru dj uniti de + timp, nainte de a putea fi utilizate pentru a valida tranziii ce succed lui pj. (Reamintim c aij noteaz ponderea arcului de la tranziia ti la poziia pj, fiind elementul generic al matricei de inciden de ieire A + ). n cazul temporizrii P, se presupune c executarea oricrei tranziii validate are loc + instantaneu. Ilustrm cele spuse mai sus prin reprezentarea grafic din fig. 6.2 pentru aij = 1 i
M 0 ( p j ) = 1 . Jetonul rezervat este figurat ca un cerc, iar cel nerezervat ca un disc.

Modele de tip reea Petri temporizat determinist Jetoane nerezervate n pj 1 (disponibile logic) 2 timp

Jetoane rezervate n pj (nedisponibile logic)

1 0 dj

timp

ti pj

ti pj pj conine un jeton utilizabil i un jeton neutilizabil

ti pj

timp

executarea instantanee a lui ti

jetonul rezervat devine utilizabil

Figura 6.2. Ilustrarea comportrii unei poziii temporizate 3.3 Construcia modelelor tip reea Petri temporizat P Reelele temporizate P se folosesc pentru a introduce n modelul matematic informaiile privitoare la durata activitilor, elabornd, astfel, un model cantitativ. Cu ajutorul unui asemenea model se pot lua n discuie toate caracteristicile temporale specifice sosirii clienilor i servirii acestora cu anumite succesiuni de operaii de ctre resursele sistemului. n cazul unui model al structurii de conducere a sistemului cu evenimente discrete, rezultat prin procedeul de sintez "bottom-up", fiecrei poziii asociate unei operaii i se asigneaz durata activitii de servire (procesare), iar fiecrei poziii asociate unei resurse i se asigneaz durata activitii de eliberare a resursei. 3.4 Transformarea unei reele temporizate P ntr-o reea temporizat T Pentru prezentarea procedeului de trecere de la temporizarea P la temporizarea T, utilizm suportul grafic din figura 6.3. n figura 6.3.a este prezentat o subreea dintr-o reea temporizat P al crui mod de operare este echivalent cu cel al reelei temporizate T din figura 6.3.b. Poziia temporizat P1 este nlocuit prin structura echivalent alctuit din poziiile P1a , P1b i tranziia T1* . Toate tranziiile de intrare a lui P1 sunt tranziii de intrare pentru P1a i toate tranziiile de ieire ale lui P1 sunt tranziii de ieire pentru P1b . Durata de timp d1 = x>0 asignat poziiei P1 n reeaua temporizat P, va fi asociat, cu aceeai valoare (notat * d1 = x > 0 ) tranziiei T1* din reeaua temporizat T. Acest procedeu se aplic pentru toate poziiile temporizate alei reelei iniiale (temporizat P). Tranziiile reelei iniiale (temporizat P) sunt preluate n mod identic n reeaua rezultat (temporizat T) asignndu-le durate nule (de exemplu di = 0, i = 1,2,3,4, n figura 3

SDED Lucrarea 6 6.3.b). Duratele de timp sunt nenule numai pentru tranziiile suplimentare rezultate n urma trecerii de la temporizarea P la temporizarea T. Pentru a realiza o distincie grafic uor sesizabil, tranziiile care au durate nenule sunt uneori figurate printr-un dreptunghi (ca n figura 6.3.b), spre deosebire de bara ce simbolizeaz tranziiile cu durat nul. Marcajul iniial al reelei rezultate (temporizat T) se aloc pe baza marcajului iniial al reelei temporizate P, plasnd jetoanele fie n poziiile cu indice superior 'a', fie n poziiile cu indicele superior 'b' (de exemplu P1b , n figura 6.3.b) T1 T2 T1(d1=0)
P1a

T2(d2=0)

P1(d1= x>0)

T1*(d1*=x>0)
P1b

T3

T4

T3(d3=0)

T4(d4=0)

(a)

(b)

Figura 6.3. Ilustrarea procedeului de transformare a unei reele temporizate P ntr-o reea temporizat T a) reeaua iniial (temporizat P) b) reeaua rezultat (temporizat T) 3.5. Structuri de control elementare pentru planificarea servirii n condiiile utilizrii partajate a uneia sau mai multe resurse pentru servirea mai multor tipuri de clieni (care solicit succesiuni diferite de operaii), exploatarea eficient a resurselor impune planificarea servirii n funcie de performanele ce se doresc a fi optimizate (performane care n general sunt definite ntr-un context temporizat, cantitativ). C1 P1 O1 P2 O2 C2 Ck Ok

P3

Pk

Figura 6.4. Structur de control pentru planificarea servirii a k clieni n figura 6.4 se consider k clieni care necesit respectiv succesiunile de operaii O1, O2, ... , Ok; planificarea servirii lor de ctre o resurs partajat (sau un grup de resurse 4

Modele de tip reea Petri temporizat determinist partajate) n ordinea C1, C2, ... , Ck este asigurat de structura de control format din poziiile (netemporizate) P1, P2, ... , Pk, arcele aferente i marcajul iniial. Schimbarea arcelor i/sau a poziiei ce conine jetonul la momentul iniial permite modificarea planificrii servirii. O asemenea structur de control (eventual variante ale modelului din figura 6.4) se folosesc pentru fiecare resurs partajat (sau grup de resurse partajate) ale crei (cror) servicii se doresc a fi planificate. Ea nu rezolv ns problema blocajelor circulare de resurse ce pot aprea drept urmare a utilizrii partajate. Pentru evitarea acestor blocaje se folosesc structurile de control specifice excluderilor mutuale. n forma final, structura de control va incorpora att elementele necesare excluderii mutuale, ct i cele necesare planificrii. n proiectare, structurile specifice controlului planificrii se pot ataa fie n etapa iniial, imediat dup definirea succesiunii operaiilor pentru fiecare client (nainte de a considera controlul resurselor) sau n etapa final, dup stabilirea excluderilor mutuale.

4. Faciliti ale mediului Petri Net Toolbox n operarea cu reele temporizate

4.1. Modelul temporizat utilizat n Petri Net Toolbox i principiul simulrii Mediul Petri Net Toolbox accept modele de tip reea Petri temporizat P sau T, pentru care duratele asignate poziiilor, respectiv tranziiilor, au valori deterministe sau stohastice. Regula general de executare a unei tranziii n cazul reelelor temporizate P este identic cu cea de la reelele netemporizate, tranziiile executndu-se instantaneu, jetoanele fiind rezervate (fr a putea fi utilizate) n poziiile predecesor un interval de timp egal cu durata asignat poziiei respective. Situaiile conflictuale referitoare la tranziii se rezolv prin anticiparea n poziiile succesor a modului de umplere cu jetoane, astfel c, la un anumit moment de timp se pot executa mai multe tranziii ce preced o aceeai poziie (ca, de exemplu, n cazul unei postcondiii comune). n cazul temporizrii T, efectuarea simulrii se bazeaz pe urmtorul principiu de asociere a aspectului temporal la regula general a tranziiei: o tranziie t, avnd asignat durata de execuie d, se execut instantaneu (ca i n cazul reelelor netemporizate), jetoanele necesare executrii rmnnd rezervate n poziiile predecesor ale tranziiei respective pentru un interval de timp d. Progresul simulrii are n vedere anticiparea modului de ocupare cu jetoane a poziiilor succesor (presupunnd c executarea tranziiei ar avea loc chiar n momentul validrii), dar calculul indicilor de performan utilizeaz principiul rezervrii n poziiile predecesor, cu scopul de a asigura o total compatibilitate cu teoria standard a temporizrii reelelor Petri. Acest mod de abordare permite rezolvarea instantanee a situaiilor conflictuale dintre dou sau mai multe tranziii, prin executarea unei singure tranziii dup care jetoanele rezultate din executare rmn rezervate n poziiile predecesor, dar, totodat, este pregtit i informaia aferent incrementrii marcajului n poziiile succesor desemnate prin alegerea uneia din tranziiile aflate n conflict. Procedeul de rezervare a jetoanelor n Petri Net Toolbox nu este vizibil pentru utilizator, executarea unei tranziii fiind privit ca un puls de lime egal cu durata asignat tranziiei (frontul cresctor corespunznd validrii, iar cel descresctor corespunznd executrii propriu-zise). Acest principiu de operare permite realizarea simulrii i n situaia cnd durata alocat unei tranziii este nul, caz n care pulsul este de lime nul, frontul cresctor i cel descresctor coinciznd.

SDED Lucrarea 6 4.2. Definirea n mediul Petri Net Toolbox a duratelor de timp deterministe asignate poziiilor sau tranziiilor Pentru a construi modele temporizate, pentru nceput, trebuie s ne hotrm cui asignm duratele de timp (tranziiilor sau poziiilor) alegnd opiunea corespunztoare din fereastra PN type. Acest lucru este necesar deoarece algoritmul de simulare este diferit n funcie de tipul reelei. n mediul de simulare Petri Net Toolbox, definirea duratei de timp fixate d > 0 asignate unei tranziii (poziii) se realizeaz selectnd tranziia (poziia) respectiv, iar n cutia de dialog Edit transition (Edit place) (care se deschide automat n urma seleciei), din meniul Distrib. se alege opiunea const. Distribuia constant este implicit, iar modificarea parametrului (care implicit este 0), se realizeaz prin apsarea butonului Modify parameters, disponibil n cutia de dialog Edit transition (Edit place). Valoarea parametrului Parameter 1 din fereastra de dialog Distribution parameters se seteaz la valoarea d. n concluzie, n acest mediu construcia modelului temporizat determinist difer de cea a modelului netemporizat numai prin necesitatea declarrii duratei de timp d care se asigneaz fiecrei tranziii/poziii n parte. 4.3. Experimentul de simulare - opiuni de desfurare i rezultate furnizate Pentru desfurarea unui experiment de simulare exist aceleai opiuni din cazul reelelor netemporizate i anume Step, Run slow i Run fast, cu facilitile de animaie cunoscute. n plus, n opiunea Time din caseta orizontal inferioar (Status panel, numerotat cu 6 n figura 2.1 din lucrarea 2) este afiat timpul curent al simulrii. Istoria experimentului de simulare (n totalitate sau parial, n acord cu durata experimentului de simulare) este raportat ntr-un jurnal, a crui mod de accesare a fost prezentat n cazul reelelor netemporizate. n simularea reelelor netemporizate, jurnalul ofer informaii i despre momentele de timp cnd au avut loc trecerile on-off i off-on ale tranziiilor executate pe parcursul simulrii. Informaii rezumative, de natur global, asupra ntregului experiment de simulare sunt disponibile prin selectarea opiunilor Place Indices sau Transition Indices din meniul Performance de pe bara orizontal superioar. Suplimentar fa de cele cunoscute din cazul reelelor netemporizate, prezint interes urmtorii indici de performan: Pentru o tranziie: numrul de executri pe unitatea de timp (Service Rate); durata medie ntre dou executri consecutive (Service Distance); durata medie a unei executri (Service Time); utilizarea medie (Utilization) definit ca raportul dintre suma duratelor tuturor executrilor tranziiei respective i timpul total de simulare. Pentru o poziie: numrul de jetoane sosite pe unitatea de timp (Arrival Rate); durata medie ntre dou sosiri consecutive de jetoane (Arrival Distance); numrul de jetoane ieite pe unitatea de timp (Throughput Rate); durata medie ntre dou plecri consecutive de jetoane (Throughput Distance). durata medie de ateptare a unui jeton (Waiting Time); numrul mediu de jetoane n unitatea de timp (Queue Length).

Modele de tip reea Petri temporizat determinist 4.4. Utilizarea instrumentului de vizualizare Scope Instrumentul de vizualizare Scope este disponibil prin apsarea butonului cu acest nume al barei verticale din stnga. Prin trecerea n acest mod, controlul asupra modelului este luat de ctre fereastra corespunztoare, simularea putnd fi realizat numai n modurile Step i Run slow. Instrumentul poate fi ataat oricrui nod al reelei (caseta Test-point), permind vizualizarea evoluiei unor mrimi ce caracterizeaz dinamica modelului. Reprezentarea pe axe se realizeaz cu scalare automat pe parcursul simulrii. Valoarea momentan a mrimii este trasat cu albastru, iar valoarea medie este trasat cu rou. Valorile medii corespund indicilor de performan prezentai n seciunea 4.3, dup cum se va preciza mai jos. Graficul este translat automat de la dreapta (marcat de timpul curent) spre stnga. Valoarea medie a mrimii obinut la oprirea simulrii coincide cu indicele de performan corespunztor (vezi detaliile ce urmeaz), raportat n rezumatul simulrii, accesibil n meniul Performance, conform celor prezentate n paragraful 4.3. Nodul n care se face vizualizarea este selectat n caseta Test-point. Mrimea ce se dorete a fi vizualizat este selectat n caseta Test-value. Prezint interes selectarea urmtoarelor opiuni: Pentru un nod tip tranziie: Service Distance cu semnificaiile: valoare momentan = intervalul de timp dintre ultimele (n raport cu timpul curent) dou momente consecutive de activare a tranziiei respective; valoare medie = indicele de performan cu acelai nume, discutat n paragraful 4.3. Service Time cu semnificaiile: valoarea momentan = durata ct tranziia respectiv a fost utilizat n intervalul dintre ultimele (n raport cu timpul curent) dou momente consecutive de activare; n cazul determinist, este tocmai constanta d, al crei mod de declarare a fcut obiectul paragrafului 4.2; valoare medie = indicele de performan cu acelai nume, discutat n paragraful 4.3. Utilization cu semnificaia: valoare momentan = puls dreptunghiular corespunztor executrii tranziiei, cu limea egal cu durata asignat tranziiei. Pentru un nod de tip poziie: Arrival Distance cu semnificaiile: valoare momentan = intervalul de timp dintre ultimele (n raport cu timpul curent) dou momente consecutive cnd n poziia respectiv au sosit jetoane; valoare medie = indicele de performan cu acelai nume, discutat n paragraful 4.3. Throughput Distance cu semnificaiile: valoare momentan = intervalul de timp dintre ultimele (n raport cu timpul curent) dou momente consecutive cnd din poziia respectiv au plecat jetoane; valoare medie = indicele de performan cu acelai nume, discutat n paragraful 4.3. Queue Length cu semnificaiile: valoare momentan = semnal scar corespunztor numrului de jetoane din poziie; valoare medie = indicele de performan cu acelai nume, discutat la paragraful 4.3. 4.5. Experimente de simulare bazate pe modele parametrizate de tip reea Petri temporizat Mediul Petri Net Toolbox prezint facilitatea operrii cu modele parametrizate de tip reea Petri temporizat T sau P, determinist. Modelul poate conine unul sau doi parametri. Parametrii trebuie s posede notaia standard x (n cazul unui singur parametru) i x, y (n cazul a doi parametri), putnd fi utilizai pentru a desemna: - numrul de jetoane dintr-o poziie; 7

SDED Lucrarea 6 - durate asignate tranziiilor; - durate asignate poziiilor. Aceast facilitate a mediului Petri Net Toolbox permite studierea dependenei diferiilor indici de performan de valoarea numeric a parametrului x (sau a parametrilor x, y) ce variaz ntr-un interval precizat [x1, x2] (sau n dou intervale precizate [x1, x2], respectiv [y1, y2]). Dependena care se dorete investigat este furnizat de mediul Petri Net Toolbox sub forma graficului unei funcii reale de o variabil real y(x) (n cazul utilizrii unui singur parametru, y notnd indicele de performan), sau a graficului unei funcii reale de dou variabile reale z(x,y), adic o suprafa (n cazul utilizrii a doi parametri, z notnd indicele de performan). n cazul reprezentrii grafice y(x), se furnizeaz, sub form numeric, perechile (Xmin,Ymin) i (Xmax , Ymax), cu proprietile: Ymin = y ( X min ) = min y ( x)
x[ x1 , x2 ]

i respectiv: Ymax = y ( X max ) = max y ( x) .

x[ x1 , x2 ]

n cazul cnd o valoare de extrem este atins pentru mai multe puncte, este raportat drept punct de extrem punctul cel mai apropiat de x1. n cazul reprezentrii grafice z(x, y), se furnizeaz sub form numeric, tripletele (Zmin, Xmin, Ymin) i (Zmax, Xmax, Ymax), cu proprietile: Z min = y ( X min , Ymin ) = min y ( x)
x[ x1 , x2 ], y[ y1 , y2 ]

i respectiv: Z max = y ( X max , Ymax ) = max y ( x) .

x[ x1 , x2 ], y[ y1 , y2 ]

n cazul n care o valoare de extrem este atins pentru mai multe puncte, este raportat drept punct de extrem (X, Y), perechea cu X cel mai apropiat de x1, i apoi Y cel mai apropiat de y1. Executarea unui experiment de simulare bazat pe modele parametrizate se poate realiza selectnd meniul Design. Introducerea domeniului de variaie a parametrilor se realizeaz selectnd opiunea Var. x (sau Var. y) din cutia de dialog corespunztoare ferestrei Design, dup care se declar x1 (sau y1) n caseta Min i x2 (sau y2) n caseta Max. Aceste valori pot fi numere ntregi, reale cu punct zecimal sau n scriere de tip exponenial (de exemplu -5.3e - 10). Numrul, de diviziuni n care se mparte intervalul [x1, x2] (sau [y1, y2]) este precizat n caseta Points, ca numr ntreg. Modul de utilizare al casetelor Design-value, Design-point este acelai cu cel prezentat n paragraful 6.3.4, dedicat instrumentului de vizualizare Scope. Condiiile n care se realizeaz un anumit experiment de simulare se stabilesc setnd durata de simulare sau selectnd ca moment final al experimentului atingerea unui anumit numr de evenimente, de executri ale unei anumite tranziii sau de jetoane ajunse ntr-o anumit poziie.

5. Probleme propuse pentru studiu

Problema 1.

Se consider un sistem de calcul biprocesor, echipat cu dou uniti de band B1, B2. Fiecare din cele dou procesoare P1, P2 execut cte o succesiune de task-uri, fiecare task

Modele de tip reea Petri temporizat determinist necesitnd ambele benzi. Succesiunea de task-uri executate de P1 este referit prin ST1, iar succesiunea executat de P2 este referit prin ST2. Execuia fiecrui task din ST1 const n urmtoarea succesiune de operaii: 1. Se creeaz un fiier pe B1, operaie care dureaz d11 = 15 secunde; 2. Fiierul creat pe B1 se copiaz pe B2, operaie care dureaz d12 = 10 secunde. Execuia fiecrui task din ST2 const n urmtoarea succesiune de operaii: 1. Se creeaz un fiier pe B2, operaie care dureaz d22 = 3 secunde; 2. Fiierul creat pe B2 se copie pe B2, operaie care dureaz d21 = 7 secunde. Se consider c duratele de timp necesare eliberrii resurselor sunt neglijabile. O reprezentare schematizat a sistemului de calcul este dat n figura 6.5. ST1 B1 P2 B2 Figura 6.5. Reprezentarea schematizat a funcionrii sistemului de calcul din Problema 1 Se consider ca la fiecare moment cnd sistemul poate ncepe prelucrarea unui nou task, exist cel puin un task din ST1 i un task din ST2 care ateapt s fie servit i c nu exist nici o regul privind modul de alegere a taskului care urmeaz s fie servit. a) S se construiasc modelul tip reea Petri netemporizat a structurii de conducere care s asigure funcionarea corect a sistemului de calcul. b) S se adauge pe modelul construit la a) duratele de timp specifice activitilor. c) S se utilizeze modelul construit la c) pentru studierea, cu ajutorul mediului Petri Net Toolbox, a urmtoarelor situaii de funcionare: 1) Sistemul funcioneaz 150 secunde. (i) S se reprezinte grafic, pe o diagram comun, modul de utilizare a celor dou procesoare P1, P2 (se face convenia: 0 - neutilizat, 1 - utilizat). Diagrama va avea abscisa comun specificnd evenimentele ce se produc i momentele de timp aferente; pe ordonat se traseaz dou grafice distincte, cte unul pentru fiecare procesor. (ii) S se precizeze numrul de taskuri servite din ST1, respectiv ST2. (iii) S se precizeze gradul de utilizare al fiecrui procesor ca valoare a raportului (timpul de utilizare a procesorului / timpul de funcionare a sistemului). 2) Sistemul servete complet exact 100 de taskuri din ST1. (i) S se precizeze numrul de taskuri servite din ST2. (ii) S se precizeze ct timp a funcionat sistemul. (iii) S se precizeze gradul de utilizare a fiecrui procesor. (iv) S se precizeze modul de utilizare a mediului Petri Net Toolbox pentru a efectua analizele de la (i), (ii) i (iii). (v) S se justifice teoretic rezultatele de la (iii). 9 P1 Creare fiier pe B1 (d11 ) Copiere fiier de pe B1 pe B2 (d12)

ST2 Creare fiier pe B2 (d22) Copiere fiier de pe B2 pe B1 (d21)

SDED Lucrarea 6
Problema 2. Se consider sistemul de calcul de la problema 1. a) S se proiecteze o structur de conducere care s asigure funcionarea corect a sistemului de calcul n urmtoarele condiii: (i) Taskurile din ST1 i ST2 sunt servite alternativ (cte unul din fiecare tip). (ii) Servirea ncepe cu un task din ST1 (iii) Pentru ambele tipuri de taskuri, banda pe care se face copia este alocat n momentul cnd s-a ncheiat crearea fiierului pe cealalt band (fr anticipare). S se reprezinte modelul tip reea Petri netemporizat. b) S se adauge pe modelul construit la a) duratele de timp specifice tuturor activitilor. c) S se verifice prin simulare n mediul Petri Net Toolbox, cu opiunea Run slow, validitatea modelului construit la punctul b). S se analizeze funcionarea pe un interval de timp corespunztor servirii complete a cte 5 taskuri din fiecare tip: (i) S se reprezinte grafic, pe o diagram comun, modul de utilizare a celor dou procesoare P1, P2 i a celor dou benzi B1, B2 ( se face convenia: 0 - neutilizat, 1 utilizat). Diagrama va avea abscisa comun specificnd evenimentele ce se produc i momentele de timp aferente; pe ordonat se traseaz 4 grafice distincte, cte unul pentru fiecare resurs analizat. (ii) S se precizeze gradul de utilizare a fiecrei resurse. (iii) S se justifice teoretic rezultatele obinute la (ii). Problema 3.

Se consider un sistem de fabricaie compus din dou maini M1, M2, ambele fiind cu ncrcare automat. Descrcarea celor dou maini este realizat de un robot R. ntre M1 i M2 exist un depozit D n care pot fi stocate dou piese. Pentru a putea fi prelucrate pe cele dou maini, piesele brute sunt fixate pe palete. n urma prelucrrii, produsul finit este desfcut de pe palet, iar paleta liber este returnat, pentru fixarea unei noi piese brute. Se presupune c exist un numr suficient de mare de piese brute care urmeaz a fi prelucrate. Robot ncrcare automat ncrcare automat

Descrcare cu R

(R)

Descrcare cu R

Fixare pe palet

(M1) Maina 1

(D) Depozit

(M2) Maina 2

Eliberare palet

Piese brute

Palete goale

Recirculare palete

Produse finite

Figura 6.6. Reprezentarea schematizat a fluxului tehnologic din Problema 3 10

Modele de tip reea Petri temporizat determinist Figura 6.6 prezint schematizat fluxul tehnologic din sistemul de fabricaie. Duratele activitilor ce se desfoar sunt dM1 = 40 s, dM2 = 85 s pentru procesarea pe M1, respectiv M2, i dR1 = 20 s, dR2 = 20 s pentru descrcarea cu ajutorul lui R a lui M1, respectiv M2. Timpul necesitat de eliberarea resurselor M1, M2 i respectiv R este considerat neglijabil. Timpul necesitat de eliberarea unei palete este dp = 20 s. a) S se proiecteze structura de conducere care s asigure funcionarea corect n urmtoarele condiii: (SC1) Nici o resurs nu se aloc nainte de a ncepe operaia care necesit resursa respectiv, iar numrul de palete este stabilit la valoarea maxim admis de funcionarea corect. (SC2) Resursele pot fi alocate i cu anticipare ( nainte de a ncepe operaia care le necesit efectiv), utilizndu-se 4 palete. b) S se adauge pe modelele (SC1) i (SC2) construite la a) duratele de timp specifice activitilor. c) S se utilizeze cele dou modele construite la b) pentru analiza n mediul Petri Net Toolbox a funcionrii structurii de conducere (SC1) i (SC2) pe un interval de timp de 20000sec. (i) Pentru fiecare structur de conducere se vor preciza performanele de mai jos i modul de utilizare a mediului Petri Net Toolbox pentru investigarea acestor performane: 1 durata medie necesar fabricrii unui produs finit; 2 numrul de produse finite fabricate; 3 gradul de utilizare a mainilor M1 i M2. (ii) S se comenteze i explice diferenele obinute la (i) dintre performanele realizate de structurile de conducere (SC1) i (SC2).
Problema 4

Se consider sistemul de fabricaie din Problema 3 i structura de conducere (SC1). a) Se consider c durata constant necesar eliberrii paletelor dP este ajustabil ntre limitele [dpmin, dpmax], unde dpmin = 20 i dpmax = 30. (i) S se reprezinte grafic dependena duratei medii necesar fabricrii unui produs finit de valoarea dP, pentru un timp de funcionare de 5000 sec. Se va preciza modul de utilizare a mediului Petri Net Toolbox. (ii) S se precizeze n ce condiii de alegere a duratei dP, durata medie de fabricare a unui produs finit este minim. (iii) Se consider valoarea dp obinut la punctul (ii). S se precizeze dac prin ajustarea duratelor de timp ale activitilor de transport, se poate obine o durat medie de fabricaie a unui produs inferioar celei de la (ii) i s se motiveze. b) Pentru dP din Problema 3 se consider c duratele celor dou transporturi realizate de robot dR1, dR2 sunt ajustabile independent, ntre limitele [dR1min, dR1max] i respectiv [dR2min, dR2max], unde dR1min = dR2min = 18 i dR1max = dR2max = 22. (i) S se reprezinte grafic dependena duratei medii necesar fabricaiei unui produs finit de valorile dR1 i dR2 considernd loturi de cte 100 produse finite. Se va preciza modul de utilizare a mediului Petri Net Toolbox. (ii) S se precizeze n ce condiii de alegere a lui dR1 i dR2, durata medie de fabricaie este minim. (iii) S se precizeze dac prin ajustarea duratei de timp a recirculrii paletelor se poate obine o durat medie de fabricaie inferioar celei de la (ii) i s se motiveze. 11

SDED Lucrarea 6
Problema 5

Se consider sistemul de fabricaie din problema 3 i structura de conducere (SC1). Pentru transportul pieselor se folosesc 4 palete. Pentru obinerea aceluiai produs finit se utilizeaz dou loturi de piese brute diferite L1, L2. Pentru piesele din L1,duratele operaiilor sunt cele din Problema 3. Piesele din L2 difer de cele din L1 numai prin durata procesrii pe maina M2, notat d * M2 = 75 sec. a) S se simuleze funcionarea sistemului de fabricaie pentru un interval de aproximativ 1000 secunde considernd piese din lotul L1, i apoi din lotul L2 i s se precizeze durata medie de fabricaie a unui produs finit. S se comenteze i explice rezultatele prin prisma structurii de conducere (SC1). b) Sistemul funcioneaz alimentat cu piese din lotul L1. S se reprezinte grafic, pe o diagram comun, modul de utilizare a resurselor M1, M2, R, pentru un interval de timp de 250 secunde (se face convenia: 0 - neutilizat, 1 - utilizat). Diagrama va avea abscisa comun specificnd evenimentele ce se produc i momentele de timp aferente. Pe ordonat se traseaz patru grafice distincte n ordinea: M1, R descarc M1, M2, R descarc M2. c) Se reia punctul b) pentru piesele din lotul L2.
Problema 6

Se consider o celul de fabricaie flexibil orientat pe producia diversificat (eng. job shop). Celula conine dou maini de prelucrare universale M1, M2 i sisteme de transport adecvate. Se fabric 3 tipuri de produse P1, P2, P3 care necesit urmtoarele secvene de prelucrri: Pentru P1: 1. - prelucrare pe M1 (durata d11 = 3 min) 2. - prelucrare pe M2 (durata d12 = 5 min) Pentru P2: 1. - prelucrare pe M2 (durata d22 = 6 min) 2. - prelucrare pe M1 (durata d21 = 4 min) Pentru P3: 1. - prelucrare pe M1 (durata d31 = 7 min) 2. - prelucrare pe M2 (durata d32 = 3 min). Duratele transporturilor i a eliberrii resurselor sunt considerate neglijabile. Se consider c numrul de piese brute este suficient de mare. Se consider urmtoarele dou strategii de planificare a servirii clienilor P1, P2, P3 de ctre resursele M1, M2:
(S1) M1: P1, P2, P3 ; M2: P1, P2, P3 (S2) M1: P1, P3, P2 ; M2: P2, P1, P3. a) S se construiasc modelul tip reea Petri temporizat P al cilor de operaii pentru P1, P2, P3. b) S se ataeze modelului construit la punctul a) structurile de control care asigur planificarea servirii conform (S1) i respectiv (S2). c) S se utilizeze aceste reele n mediul Petri Net Toolbox pentru a determina duratele medii de producere a celor dou tipuri de produse, dac funcionarea celulei dureaz 10 ore.

12

Modele de tip reea Petri temporizat determinist d) S se justifice rezultatele de la c) prin construcia cte unei diagrame pentru fiecare din strategiile (S1) i (S2), care s conin: - pe abscisa comun evenimentele i timpii cnd acestea apar; - pe ordonat: 2 grafice distincte reflectnd modul de utilizare al lui M1, i respectiv M2 (se face convenia: 0 - neutilizat; 1 - utilizat). Se va preciza pentru fiecare durat de utilizare tipul de client care a fost servit.

6. Bibliografie
Matcovschi, M.H., Mahulea, C., Pstrvanu, O. (2006). Homepage of the Petri Net Toolbox, version 2.2, http://www.ac.tuiasi.ro/pntool. Pstrvanu, O. (1997). Sisteme cu evenimente discrete Tehnici calitative bazate pe formalismul reelelor Petri, Ed. MatrixRom, Bucureti. Pstrvanu, O., Matcovschi, M.H., Mahulea, C. (2002). Aplicaii ale reelelor Petri n studiul sistemelor cu evenimente discrete, Editura Gh. Asachi, Iai.

13