Sunteți pe pagina 1din 22

1.

Conceptul de reea Petri netemporizat


O reea Petri (eng. Petri net) se compune dintr-un tip particular de graf orientat notat N i o stare iniial , denumit marcaj iniial (eng. initial marking). Graful N al reelei Petri este orientat, ponderat i bipartit, constnd din dou tipuri de noduri, denumite poziii sau locaii (eng. place) i respectiv tranziii (eng. transition); arcele orientate (eng. arc) unesc fie o poziie cu o tranziie, fie o tranziie cu o poziie. Nu exist arce care s conecteze dou poziii ntre ele, sau dou tranziii ntre ele. Ca simbolizare grafic, poziiile se reprezint prin cercuri, iar tranziiile prin bare sau dreptunghiuri. Arcele sunt etichetate cu ponderile lor (eng. weight) (valori ntregi, pozitive); un arc cu ponderea poate fi privit ca o mulime de arce paralele cu pondere unitar. Etichetele pentru pondere unitar se omit n reprezentrile grafice uzuale. Un marcaj sau o stare atribuie fiecrei poziii un numr ntreg mai mare sau egal cu 0. Dac un marcaj atribuie poziiei ntregul , se spune c este marcat cu jetoane (eng. token). Din punct de vedere grafic, n cercul corespunztor poziiei se vor plasa discuri. Orice marcaj este un vector coloan mdimensional, unde noteaz numrul total al , ( ) ( ) ( )- , notat ( ) reprezint poziiilor. Componenta a vectorului numrul de jetoane din poziia . Aspectele prezentate anterior se formalizeaz matematic prin urmtoarea definiie. O reea Petri este un cvintuplu, * * ( * * ( ) n care:

+ este mulimea poziiilor sau locaiilor (finit); + este mulimea tranziiilor (finit); ( ) este mulimea arcelor; + este funcia de ponderare a arcelor; + este funcia de marcaj iniial.

Cteva comentarii sunt necesare pentru a aprofunda detaliile acestei formalizri: 1. Mulimile i sunt disjuncte, . i satisfac condiia

2. Pentru a asigura obiectul definiiei de mai sus, mulimile .

3. Definiia funciei de ponderare se poate extinde pe mulimea tuturor perechilor ) ( ) , considernd ( ) ( ) * + , cu ordonate din ( observaia c, pentru acele perechi care nu sunt n mulimea , valoarea funciei este 0 i aceste perechi nu sunt reprezentate grafic. Mulimea corespunde perechilor a cror pondere este nenul i numai acestea sunt reprezentate grafic. 1

4. Definiia unei reele Petri consider implicit c toate poziiile reelei pot conine un numr orict de mare de jetoane. Se spune c reeaua este cu capacitate infinit. ( ) fr nici o specificaie referitoare la marcaj 5. O structur de reea Petri se va nota cu , notaie care desemneaz topologia reelei. 6. O reea Petri cu un marcaj iniial 7. O reea Petri cu un marcaj oarecare se va nota prin ( se va nota prin ( ). ).

n problemele de modelare ce utilizeaz conceptele de condiii i evenimente, poziiile reprezint condiii i tranziiile reprezint evenimente. O tranziie (eveniment) posed un numr de poziii de intrare i ieire, care reprezint pre-condiii i respectiv post-condiii pentru evenimentul n cauz. Prezena unui jeton ntr-o poziie trebuie neleas ca valoare logic adevrat pentru condiia asociat respectivei poziii.

2. Terminologie uzual
Dac o poziie este att poziie de intrare, ct i de ieire pentru o tranziie , atunci i formeaz o bucl autonom (eng. self-loop). O reea Petri care nu conine bucle autonome se numete pur (eng. pure). O bucl autonom poate fi ntotdeauna transformat ntr-o bucl neautonom prin adugarea simultan a unei poziii i a unei tranziii formale (eng. dummy). Orice reea impur poate fi transformat ntr-o reea pur. O reea Petri se numete ordinar (eng. ordinary) dac toate arcele sale au pondere unitar. Dac ntr-o reea Petri exist cel puin un arc a crui pondere este mai mare dect 1, atunci se spune c reeaua respectiv este generalizat. Fie F mulimea tuturor arcelor unei reele Petri N. Se numesc mulime predecesor (eng. pre-set) i mulime succesor (eng. post-set) a tranziiei t (fig. BT2.2.1.(a)) dou mulimi de poziii definite prin: * ( ) + = mulimea tuturor poziiilor de intrare ale lui t;

i, respectiv, prin: * ( ) + =mulimea tuturor poziiilor de ieire ale lui t.

Se numesc mulime predecesor i mulime succesor a poziiei p (fig. BT2.2.1.(b)) dou mulimi de tranziii definite prin: * ( ) + =mulimea tuturor tranziiilor de intrare ale lui p;

i, respectiv, prin:

* (

+ ==mulimea tuturor tranziiilor de ieire ale lui p.

Figura 1. Ilustrarea grafic a mulimilor predecesor i succesor(a) Mulimile de poziii t i t ; (b) Mulimile de tranziii p i p .

Acelai mod de notare, i anume {*}, {*} , se utilizeaz pentru a desemna mulimea predecesor i, respectiv, succesor a unei mulimi de tranziii sau a unei mulimi de poziii, notat generic {*}. Evident, mulimile predecesor i succesor ale unei mulimi de tranziii sunt dou mulimi de poziii, iar mulimile predecesor i succesor ale unei mulimi de poziii sunt dou mulimi de tranziii.

3. Validarea i executarea tranziiilor n reele cu capacitate infinit evoluia strilor


Marcajul unei reele Petri are semnificaia de stare a reelei i se poate modifica n conformitate cu urmtorul procedeu denumit regula tranziiei (validare i executare). a. Se spune c o tranziie este validat (eng. enabled) dac fiecare poziie de intrare (predecesor) a lui este marcat cu cel puin ( ) jetoane, unde ( ) noteaz ponderea arcului de la la . b. O tranziie validat poate sau nu s fie executat sau declanat (eng. fired), dup cum evenimentul asociat tranziiei are sau nu loc. c. Executarea unei tranziii validate ndeprteaz ( ) jetoane din fiecare poziie de ( ) jetoane la fiecare poziie de ieire intrare (predecesor) a lui i adaug (succesor) a lui , unde ( ) este ponderea arcului de la la . O tranziie fr nici o poziie de intrare se numete tranziie surs (eng. source). O tranziie fr nici o poziie de ieire se numete tranziie receptor (eng. sink). Modul de operare al acestor tranziii este urmtorul: a. O tranziie surs este necondiionat validat (fr a fi obligatoriu ca s se execute). Executarea ei produce jetoane. b. Executarea unei tranziii receptor consum jetoane, fr a produce jetoane. 3

n teoria reelelor Petri netemporizate se consider c executarea unei tranziii nu consum timp i c jetoanele pot rmne n poziii pentru orice durat de timp (orict de mic sau orict de mare). ntruct executarea unei tranziii este instantanee, se consider c tranziiile se execut numai secvenial, adic nu se poate vorbi de dou tranziii executate simultan (sau n paralel). Aceste presupuneri fac ca modelul de tip reea Petri netemporizat s fie utilizat numai pentru investigarea proprietilor logice, calitative, care nu depind de timp. Pentru o reea Petri cu un marcaj iniial , urmrind executarea secvenial a tranziiilor, se pot determina marcajele succesive ale reelei. Procesul de modificare a marcajului (strii) reelei poate fi descris ntr-o manier sintetic printr-un arbore sau printr-un graf (diferit de graful reelei Petri!), ce poart denumirea de arbore, respectiv, graf de accesibilitate (eng. reachability tree/graph).

4. Unele extensii pentru reele Petri netemporizate


4.1. Reele Petri cu capacitate finite
Pentru regula de validare a unei tranziii prezentat anterior s-a presupus c fiecare poziie are capacitate infinit. n modelarea sistemelor fizice este firesc a considera o limit superioar a numrului de jetoane pe care l poate conine fiecare poziie, asociind fiecrei poziii capacitatea sa (eng. capacity), notat ( ), definit ca numrul maxim de jetoane ce pot fi coninute n p. O astfel de reea se numete cu capacitate finit. ntr-o reea cu capacitate finit, pentru validarea unei tranziii este necesar urmtoarea condiie suplimentar: numrul de jetoane n fiecare poziie de ieire a lui nu poate s depeasc capacitatea poziiei respective, ( ), atunci cnd t s-ar executa. n acest caz, regula tranziiei se va numi regula strict a tranziiei spre a o deosebi de cea enunat n paragraful BT2.3, care mai este uneori referit drept regula simpl a tranziiei. ) este posibil de aplicat fie regula strict Fiind dat o reea Petri de capacitate finit ( ), fie regula simpl a tranziiei pentru o reea a tranziiei direct pentru reeaua ( ). Presupunnd c reeaua N este pur, urmtorul algoritm transformat adecvat, notat ( ) plecnd de la ( ), prin metoda poziiilor permite construcia reelei ( complementare: Pas 1. Pentru fiecare poziie , se adaug o poziie complementar ( )= ( ) ( ). iniial este dat de , al crei marcaj

Pas 2. ntre fiecare tranziie t i unele poziii complementare se traseaz arce ) sau ( ), cu ponderile ( ) ( ), respectiv ( ) ( ), suplimentare, ( astfel nct suma jetoanelor n poziia i n poziia complementar corespunztoare s fie egal cu capacitatea ( ), att nainte, ct i dup executarea tranziiei (adic s se asigure satisfacerea condiiei ( )
( )

( )). 4

Subliniem faptul c metoda nu adaug tranziii suplimentare. Grafurile de accesibilitate ) i ( ) sunt izomorfe n sensul c prezint aceleai secvene posibile de ale reelelor ( executare a tranziiilor.

4.2. Reele cu probabiliti i prioriti


n unele modele de tip reea Petri dou sau mai multe tranziii modeleaz evenimente dintre care unul i numai unul se poate produce la un moment dat (n conflict). Implicit se consider c probabilitile de apariie a acestor evenimente sunt egale. n cazul n care aceast presupunere nu este n conformitate cu sistemul fizic modelat, probabilitile de apariie a evenimentelor n conflict pot fi asignate n mod explicit ca probabiliti de executare a tranziiilor care modeleaz evenimentele respective. De asemenea, atunci cnd se dorete a impune modul de alegere a tranziiei care urmeaz a fi executat dintre dou sau mai multe tranziii validate simultan se poate utiliza o reea Petri cu prioriti care const dintr-o reea Petri obinuit i o relaie de ordine parial ntre tranziiile reelei.

4.3. Reele cu arce inhibitoare


Introducerea arcelor inhibitoare extinde capacitatea de modelare a reelelor Petri. Un arc inhibitor conecteaz o poziie la o tranziie i are rolul de a inversa logica de validare i executarea a acesteia. Tranziia respectiv este validat numai dac numrul de jetoane din poziia de intrare a arcului inhibitor este strict mai mic dect ponderea arcului. Arcul inhibitor se reprezint grafic printr-un segment ce conecteaz cele dou noduri, avnd un mic cerc la captul dinspre tranziia inhibat. Nu exist arce inhibitoare care conecteaz o tranziie la o poziie.

5. Modelarea cu reele Petri ordinare


5.1. Structuri tipice utilizate n modelare
Structurile tipice utilizate n modelarea sistemelor cu evenimente discrete prin intermediul reelelor Petri sunt prezentate sintetic n Figura 2.

Figura 2. Structuri tipice utilizate n modelarea cu reele Petri (a)Conflict, decizie sau alegere liber; (b)Alegere liber extins; (c)Alegere asimetric; (d)Paralelism sau concuren; (e)Confuzie simetric; (f)Confuzie asimetric; (g)Sincronizare; (h)Post-condiie comun.

5.2. Capacitatea de modelare a unor subclase de reele Petri ordinare


Reelele Petri ordinare pot fi organizate n subclase definite pe baza unor considerente topologice. Apartenena unei reele la o anumit subclas este reflectat n capacitatea de modelare, n sensul c reeaua nu va putea conine toate structurile tipice definite n seciunea precedent, ci numai o parte din acestea (n funcie de subclasa creia i aparine). Maina de stare (eng. state machine) este o reea Petri ordinar n care fiecare tranziie are o singur poziie de intrare i o singur poziie de ieire. Formaliznd, avem:

unde

noteaz cardinalitatea (numrul de elemente al) mulimii *.

Referindu-ne la structurile tipice ilustrate n Figura 2, se constat c o main de stare conine numai alegeri libere i post-condiii comune. Graful marcat (eng. marked graph) sau graful de evenimente (eng. event graph) este o reea Petri ordinar n care fiecare poziie p are o singur tranziie de intrare i o singur tranziie de ieire. Formaliznd, avem

n termenii structurilor tipice ilustrate n Figura 2, se constat c un graf marcat conine numai concurene i sincronizri.

Termenul de graf marcat sau graf de evenimente se datoreaz faptului c acest tip de reea Petri poate fi reprezentat printr-un graf orientat unipartit (care posed un singur tip de noduri!) n care nodurile corespund tranziiilor (adic evenimentelor), arcele corespund poziiilor, iar jetoanele se plaseaz pe arce (adic arcele sunt marcate). Astfel regula tranziiei se aplic nodurilor grafului orientat, o executare constnd, n aceast reprezentare grafic, n ndeprtarea unui jeton de pe fiecare din arcele de intrare ale nodului n cauz i adugarea unui jeton pe fiecare din arcele de ieire. Reeaua cu alegeri libere (eng. free choice net) este o reea Petri ordinar n care orice arc ce iese dintr-o poziie este caracterizat prin una din urmtoarele dou situaii: i. sau: ii. este singurul arc care intr ntr-o anumit tranziie (adic n acea tranziie nu mai intr nici un alt arc, n afara celui ce pleac din p). Avem urmtoarea formalizare: ( ) * + (BT5.3) este singurul arc care pleac din ,

Aceast descriere matematic este echivalent cu implicaia: (BT5.4) Condiia (BT5.4) trebuie privit ca o relaxare a condiiei (BT5.2). Totodat, condiia (BT5.4) relaxeaz i condiia (BT5.1). Examinnd aceste particulariti prin prisma structurilor tipice ilustrate n Figura 2, se constat c o reea cu alegeri libere conine numai alegeri libere, post-condiii comune, concurene i sincronizri. Reeaua cu alegeri libere extinse (eng. extended free-choice net) este o reea Petri ordinar n care este satisfcut condiia: (BT5.5) Condiia (BT5.5) trebuie privit ca o relaxare a condiiei (BT5.4). n termenii structurilor tipice discutate, ilustrate n Figura 2, se constat c o reea cu alegeri libere extinse conine numai alegeri libere, alegeri libere extinse, post-condiiicomune, concurene i sincronizri. Reeaua cu alegeri asimetrice (eng. asymmetricchoice net), sau reeaua simpl, este oreea Petri n care este satisfcut condiia: 7

(BT5.6)

Condiia (BT5.6) trebuie privit ca o relaxare a condiiei (BT5.5). Referindu-ne la structurile tipice ilustrate n fig. BT2.5.1, se constat c o reea cu alegeri asimetrice conine numai alegeri libere, alegeri libere extinse, alegeri asimetrice, postcondiii comune, concurene, sincronizri i confuzii asimetrice. Examinnd definiiile subclaselor de reele Petri ordinare formulate mai sus, se constat c ntre acestea exist relaiile de incluziune reprezentate grafic n Figura 3.

Figura 3. Relaiile de incluziune ntre subclasele de reele Petri ordinare.

Tabelul BT2.5.1. sintetizeaz informaiile referitoare la capacitatea de modelare a diferitelor subclase de reele Petri ordinare n raport cu structurile tipice ce au fost prezentate n seciunea BT5.1.

Tabelul 1. Prezentare sintetic a capacitii de modelare a diferitelor subclase de reele Petri.

Capacitatea de modelare crete n sensul acceptrii de noi structuri tipice, aceast cretere fiind perfect compatibil cu relaiile de incluziune stabilite ntre subclase n paragraful anterior (vezi i Figura 3). Dar, dup cum va reiei din seciunea urmtoare, creterea capacitii de modelare face ca criteriile de analiz a proprietilor comportamentale s devin tot mai complexe i mai dificil de aplicat. Din acest motiv, insistm asupra necesitii elaborrii unor modele ct mai puin sofisticate, care s fie capabile s surprind acele detalii de funcionare ce trebuie avute n vedere pe parcursul analizei sau proiectrii.

Aplicaii
Aplicaia 1 Pentru reelele Petri cu topologia i marcajul iniial indicat n fig. Figura 1.1, s se precizeze care dintre tranziii sunt validate i marcajul ce rezult dup executarea fiecreia din aceste tranziii n cazurile urmtoare: 1. reelele au capaciti infinite; 2. reele au capaciti finite dup cum urmeaz: ( ) (i) pentru reeaua din Figura 1.1.(a): ( ) , ( ) ( ) ( ) (ii) (ii) pentru reeaua din Figura 1.1.(b): ( ) (iii) pentru reeaua din Figura 1.1.(c): ( ) , ( )=3, ( )

; ; ( ) .

Figura 1.1. Reelele Petri studiate n Ap1.

Soluie: 1. Aplicnd regula simpl a tranziiei reelei din Figura 1.1.(a) cu marcajul iniial se obine: ( ) ( ) ; prin executarea lui tranziia este validat deoarece ); din la marcajul ( ( ) ( ) ; prin executarea lui tranziia este validat deoarece ( ); din la marcajul ( ) ( ) i ( ) ( tranziia este validat deoarece ( ). executarea lui se ajunge din la marcajul ( ) rezult: se ( )

se ajunge se ajunge ); prin

Analog, pentru reeaua din Figura 1.1.(b) cu marcajul iniial ( ) tranziia este validat deoarece ( ); ajungedin la marcajul ( ) ( tranziia este validat deoarece ( ); din la marcajul 10 (

); prin executarea lui ); prin executarea lui

se ajunge

( ) tranziia este validat deoarece executarea lui se ajunge din la marcajul

( ( ( ( (

) i ).

( )

); prin

Pentru reeaua din Figura 1.1.(c) cu marcajul iniial tranziiei conduce la: ( ) tranziia t1 este validat deoarece ( ); din M0 la marcajul ( ) tranziia t5 este validat deoarece ( ). din M0 la marcajul

), aplicarea regulii simple a ); prin executarea lui t1 se ajunge ) ; prin executarea lui t2 se ajunge

2.innd cont de marcajele la care s-ar ajunge prin executarea tranziiilor validate determinate la punctul 1 i de capacitile finite precizate ale poziiilor, prin aplicarea regulii stricte a tranziiei se obine: (i) ( ) pentru reeaua din Figura 1.1.(a), singura tranziie validat este t3 deoarece ( ), ( ) ( ) i ( ) ( ) ( ); prin executarea lui ( ); t3 se ajunge din M0 la marcajul pentru reeaua din Figura 1.1.(b) sunt validate: ( ) ( ); prin executarea lui t2 se ajunge din M0 tranziia t2 deoarece ( ); la marcajul ( ) ( ), ( ) ( ) i ( ) tranziia t3 deoarece ( ) ( ); prin executarea lui t3 se ajunge din M0 la marcajul ( ); pentru reeaua din Figura 1.1.(c) nici una dintre tranziii nu este validat.

(ii)

(iii)

11

Aplicaia 2 Transformai reeaua Petri cu capacitate finit din Figura 2.1, ntr-o reea Petri cu capacitate infinit.

Figura 2.1. Reeaua Petri cu capacitate finit studiat n AP2.

Soluie Utiliznd metoda poziiilor complementare cu referire la poziia nct s fie satisfcute urmtoarele relaii: , se adaug poziia astfel

Reeaua Petri cu capacitate finit din fig. AP2.2.1 este echivalent cu reeaua Petri de capacitate infinit prezentat n Figura 2.2.

Figura 2.2. Reeaua Petri cu capacitate infinit corespunztoare celei din fig. AP2.

12

Aplicaia 3 Se consider reeaua Petri din Figura 3.1 care modeleaz un sistem cu un productor (subreeaua din partea stng) i un consumator (subreeaua din partea dreapt). 1. S se explice modul de operare al reelei. 2. Se consider i un al doilea consumator, care este autorizat s consume numai atunci cndprimul consumator nu solicit produs. S se construiasc modelul tip reea Petri alsistemului cu doi consumatori.

Figura 3.1. Modelul de tip reea Petri al unui sistem cu un productor i un consumator.

Soluie: 1. n poziia se acumuleaz un numr de jetoane semnificnd produsele furnizate de ctre productor. Pe msur ce consumatorul are nevoie de aceste produse, se va executa tranziia , cte o dat pentru fiecare produs preluat de ctre consumator. 2. Prezena celui de-al doilea consumator se modeleaz printr-o subreea identic cu cea utilizat pentru primul consumator. n cazul conectrii celor dou subreele de tip consummator ca n Figura 3.2.(a), n lipsa altor precizri, cei doi consumatori vor avea drepturi egale de a consuma, ceea ce nseamn c modelul nu rspunde n totalitate cerinelor din enun. Pentru a include n model i informaiile referitoare la disciplina de consum, se va asigna prioritate 0 tranziiei i, respectiv, prioritate 1 tranziiei . O variant echivalent cu alocarea prioritilor o constituie controlul tranziiei printr-un arc inhibitor conform figurii Figura 3.2.(b); astfel, dac conine jeton/jetoane, va fi validat numai cnd nu conine jeton (adic primul consumator nu solicit produs).

13

Figura 3.2. Modelul de tip reea Petri al sistemului cu un productor i doi consumatori: (a) asignnd tranziiei t3 prioritate mai mare dect tranziiei t5; (b) utiliznd arc inhibitor pe tranziia t5.

14

Aplicaia 4 Se consider un protocol de comunicaii, adaptat dup (Desrochers and Al-Jaar, 1993), reprezentat prin modelul din Figura 4.1. Semnificaiile poziiilor i tranziiilor sunt prezentate n tabelele 4.1, respectiv 4.2. 1. S se precizeze succesiunea de executri de tranziii care, plecnd din marcajul iniial din Figura 4.1, asigur revenirea la acest marcaj. 2. S se specifice succesiunea de evenimente corespunztoare transmiterii complete a unui mesaj. 3. S se precizeze clasa de reele Petri creia i aparine acest model.

Figura 4.1. Modelul de tip reea Petri al unui protocol de comunicaii. Tabelul 4.1. Semnificaia poziiilor din modelul prezentat n Figura 4.1.

Tabelul 4.2. Semnificaia tranziiilor din modelul prezentat n Figura 4.1.

15

Soluie 1. Arborele de accesibilitate furnizat de Petri Net Toolbox n mod grafic i semnificaia marcajelor sunt prezentate n Figura 4.2. Se poate observa c, plecnd din marcajul iniial , succesiunea de executri de tranziii asigur revenirea la acesta.

Figura 4.2. Arborele de accesibilitate pentru reeaua Petri din Figura 4.1.

2. Pe baza semnificaiei fizice a tranziiilor din modelul studiat, succesiunii de tranziii determinat la punctul precedent i corespunde urmtoarea succesiune de evenimente care au loc la transmiterea complet a unui mesaj: (E) ncepe transmisia mesajului ( ). (E) ncepe primirea semnalului de confirmare (ACK) ( ). (R) ncepe primirea mesajului ( ).

16

(R) termin primirea mesajului i ncepe transmisia semnalului ACK i procesarea semnalului ( ). (R) termin procesarea i ncepe pregtirea pentru recepionarea unui nou mesaj ( ). (E) termin de primit semnalul ACK i ncepe pregtirea unui nou mesaj ( ).

Observaie: Se poate observa c, n afar de secvena precizat anterior, mai exist nc dou secvene de executri de tranziii care, plecnd din marcajul iniial, asigur revenirea la acesta, i anume i . Deoarece duratele operaiilor care au loc n sistemul fizic nu sunt implicate n modelul logic reprezentat de reeaua Petri netemporizat, nu se poate preciza ordinea n care se vor executa tranziiile i . 3. Reeaua Petri prezentat n Figura 4.1 face parte din clasa grafurilor marcate Datorit tipului particular de reea, drept reprezentare grafic se poate utiliza un graf unipartit, conform Figura 4.3.

Figura 4.3. Modelul de tip graf marcat al protocolului de comunicaii reprezentat sub form de graf orientat unipartit.

17

Aplicaia 5 Se consider reeaua Petri avnd topologia din Figura 5.1. Poziiile au capacitile ( ) i ( ) .

Figura 5.1. Topologia reelei Petri utilizat n AP5.

( ) ( ) 1. Pentru marcajul iniial i , s se execute simularea n varianta Step pentru 4 evenimente nregistrnd rezultatele simulrii ntr-un fiier de tip jurnal. Se va citi jurnalul i se va preciza secvena de executri de tranziii care are loc pe parcusul simulrii precum i marcajele prin care trece reeaua. 2. S se reia punctul 1, schimbnd marcajul iniial n modifica topologia reelei. ( ) i ( ) , fr a

3. S se precizeze clasa de reele Petri creia i aparine acest model. 4. S se justifice faptul c reeaua Petri din Figura 5.1 modeleaz un server cu dou stri I (iddle) i W (working). 5. S se precizeze cum trebuie modificat reeaua astfel nct s poat modela un server cu posibiliti de defectare, situaie n care va mai exista o stare D (down). Se presupune c serverul nu se poate defecta dect n timpul lucrului. Se vor avea n vedere urmtoarele dou situaii: (i) (ii) Servirea clientului aflat n lucru n momentul defectrii poate fi reluat dup remediere. Servirea clientului aflat n lucru n momentul defectrii nu mai poate fi reluat, trecndu-se la servirea unui nou client.

6. S se simuleze n varianta Run Fast modelele de la punctul 5, pentru un numr total de 10.000 de evenimente, n urmtoarele situaii: (i) Probabilitatea defectrii serverului este egal cu a funcionrii corecte;

18

(ii) (iii)

Probabilitatea defectrii serverului (10%) este mult mai mic dect cea a funcionrii corecte (90%); Probabilitatea defectrii serverului (90%) este mult mai mare dect cea afuncionrii corecte (10%).

S se precizeze prin ce difer modelele de simulare de la subpunctele (i), (ii) i (iii) ale punctului 6. Pentru fiecare caz n parte s se precizeze urmtorii indicatori de performan ai serverului: numrul total de clieni sosii la server care au nceput s fie servii, numrul total de clieni servii complet i numrul total de defectri ale serverului. Corelai aceste rezultate cu parametrii modelului folosit pentru simulare. Soluie: 1. n urma efecturii unui experiment de simulare n modurile Step i Run Slow a funcionrii unei reele Petri, mediul Petri Net Toolbox ofer posibilitatea de a nregistra, ntr-un fiier de tip jurnal, secvena de tranziii care a fost executat pe parcursul simulrii i succesiunea de marcaje prin care a trecut reeaua. Utiliznd aceast facilitate pentru simularea apariiei unui numr de 4 evenimente n ( ), se nregistreaz rezultatele reeaua Petri din Figura 5.1 cu marcajul iniial prezentate n Figura 5.2.(a). Se observ c secvena de executri de tranziii care are loc este . Exist numai dou marcaje distincte prin care trece reeaua (succesiv), anume ( ) i ( ). ( ), n urma simulrii cu 2. Pstrnd topologia reelei dar schimbnd marcajul iniial n ajutorul mediului Petri Net Toolbox a apariiei unui numr de 4 evenimente se obin rezultatele prezentate n Figura 5.2(b). n acest caz, secvena de executri de tranziii care are loc este: . Se observ c i n acest caz exist numai dou marcaje distincte prin care trece ( ) i ( ). reeaua, anume 3. Reeaua Petri ordinar cu topologia din Figura 5.1 este att graf marcat, pentru c fiecare poziie are o singur tranziie de intrare i o singur tranziie de ieire, ct i main de stare, pentru c fiecare tranziie are o singur poziie de intrare i o singur poziie de ieire.

19

Figura 5.2. Jurnalul furnizat de Petri Net Toolbox dup simularea apariiei unui numr de 4 evenimente n reeaua Petri din fig. AP2.5.1: ( ); (b) cu marcajul iniial ( ). (a) cu marcajul iniial

4. Dup cum am vzut la punctele 1 i 2, la apariia unui eveniment (executarea unei tranziii) reeaua Petri i schimb marcajul (starea). n ambele situaii considerate exist numai dou marcaje distincte, (1, 0) i (0, 1), n care reeaua evolueaz succesiv, ca urmare a executrii uneia dintre cele dou tranziii. Distincia dintre cele dou marcaje este dat de prezena jetonului din marcajul iniial n una dintre poziiile reelei. Din aceste motive, reeaua Petri din Figura 5.1 modeleaz un sistem fizic cu dou stri (corespunztoare celor dou marcaje). Un asemenea sistem ar putea reprezenta, de exemplu, un server cu dou stri i anume starea n care ateapt sosirea unui client (iddle I) corespunztoare marcajului (1, 0) i cea n care servete un client (working W) corespunztoare marcajului (0, 1).

20

Figura 5.3. Topologiile reelelor Petri n cazul unui server cu trei stri.

5. Pentru a modifica reeaua Petri din Figura 5.1 astfel nct s poat modela un server cu posibiliti de defectare, este necesar introducerea unei poziii suplimentare care va fi asociat strii n care serverul este defect (down D). Reelele Petri corespunztoare celor dou situaii (i) i (ii) sunt prezentate n Figura 5.3, ambele avnd topologii de main de stare. Semnificaiile fizice ale poziiilor i tranziiilor sunt prezentate n Tabelul 5.1, respectiv 5.2.
Tabelul 5.1. Semnificaiile poziiilor din modelul prezentat n Figura 4.1.

Tabelul 5.2. Semnificaiile tranziiilor din modelul prezentat n Figura 4.1.

6. n mediul Petri Net Toolbox, pentru ambele reele prezentate n Figura 5.3, probabilitilor de executare a tranziiilor i li se pot asigna valorile corespunztoare probabilitilor de apariie a evenimentelor pe care le modeleaz (apariia unui defect i, respectiv, terminarea remedierii serverului). n urma efecturii unui experiment de simulare, indicatorul Service Sum asociat tranziiilor , i corespunde numrului de clieni sosii la server, numrului de clieni servii complet i, respectiv, numrului de defectri ale serverului. Tabelului. 5.3 prezint sintetic valorile obinute n urma simulrii apariiei a 10.000 de evenimente pentru cele dou reele prezentate n Figura 5.3 n fiecare dintre cele trei situaii. 21

Tabelul 5.3. Indicatori obinui n urma simulrii apariiei a 10.000 de evenimente n situaiile considerate la punctul 6 al aplicaiei AP2.5

Din tabelul de mai sus se poate observa c, pentru acelai numr de evenimente, raportul dintre numrul de clieni servii complet (numrul de executri ale tranziiei ) i numrul de defectri ale serverului (numrul de executri ale tranziiei ) este aproximativ egal cu raportul dintre probabilitatea de funcionare corect i cea de defectare a serverului (asignate tranziiei i, respectiv, tranziiei ).

22