Curs 6

Retele Petri Colorate
O retea Petri colorata RC este un sextuplet RC = < P, T, IN, OUT, M0, C > in care:
P = multimea pozitiilor T = multimea tranzitiilor IN si OUT sunt respectiv functiile asociate culorilor de  executie a tranzitiilor C = { C1, C2, ...} reprezinta multimea culorilor M0 = marcajul initial al retelei

Retele Petri Colorate
Obs. O retea Petri colorata se deosebeste de o retea Petri  generalizata prin multimea culorilor care se asociaza retelei. 2. O culoare Ck = <ck1, ck2, ..., ckn>, este un n‐tuplu care  poate transmite, de obicei in combinatia pozitie‐culoare,  informatii mai complexe decat marcajele retelelor Petri  generalizate.  O culoare poate fi interpretata ca un identificator pentru marcaje (jetoane), permitând diferentierea acestora prin intermediul unor informatii complementare.  Notatie:  o culoare poate fi reprezentata fie prin intregul n‐ tuplu, fie doar prin identificatorul acestuia ‐ Ck. Daca n = 1, atunci culoarea se numeste simpla. 

 p.Retele Petri Colorate Exemplu:  pentru o retea Petri care modeleaza un sistem de  fabricatie flexibila. m>  poate sa contina informatii despre: tipul unui reper de prelucrat.  pozitia sa intr‐o coada de asteptare   masina pe care urmeaza sa fie prelucrat. o culoare  C1=<r. .

 pentru a pastra caracterul intuitiv al retelelor si ca atare eficienta lor ca instrumente de modelare. pentru anumite pozitii ale retelei nu mai este necesara (sau posibila) diferentierea marcajelor (jetoanelor). ducând pâna la inlocuirea unei retele intregi printr‐una compusa dintr‐o pozitie si o tranzitie.Retele Petri Colorate Obs. Utilizarea culorilor permite simplificarea structurilor grafice ale  retelelor Petri. Exista mai multe nivele de “colorare” ale retelelor Petri  generalizate. se prefera un nivel de colorare intermediar. Obs. notata <•>. Cazul extrem de colorare are numai o valoare teoretica. De regula insa. In anumite cazuri. . Obs. situatie in  care se foloseste culoarea neutra.. pastrând constant (sau chiar imbogatind) continutul informational al acestora. care depinde de caracterul sistemului modelat si de scopul modelarii.

. iar operatia inversa ‐ despachetare.Retele Petri Colorate Operatia de colorare a unei retele Petri generalizate se  numeste impachetare (pliere).

. care pot  contine marcaje (jetoane) colorate ‐ respectiv  simboluri de culori. In functie de  marcajele (jetoanele) continute si de gradul de  colorare al retelei. semnificatia aceleiasi pozitii poate  sa varieze.  o pozitie poate sa contina la un moment dat mai multe  marcaje (jetoane) de aceeasi culoare.Particularitati ale retelelor Petri  colorate Pozitiile sunt reprezentate in continuare prin cercuri.

Particularitati ale retelelor Petri  colorate Tranzitiile sunt reprezentate tot prin segmente de dreapta.  Numarul de culori din C(tj) corespunde numarului de  tranzitii al retelei Petri generalizate echivalente  (despachetate) care au fost regrupate intr‐una singura. fiecarei tranzitii ii este asociat insa un ansamblu de  culori (C(tj) pentru o tranzitie tj). . fiecare dintre ele  implicand o posibilitate distincta de executie a  tranzitiei.

 avem asociate functiile: IN(pi. . tj/Ck)  OUT(pi.  pentru un arc care leaga tranzitia tj si pozitia pi.Particularitati ale retelelor Petri  colorate Arcurile leaga o tranzitie de o pozitie si au ponderi. reprezentate prin functii IN sau OUT. care stabilesc corespondenta intre fiecare culoare asociata tranzitiei si culorile pozitiei. tj/Ck).  functiile IN si OUT au un argument suplimentar si anume culoarea Ck in raport cu care urmeaza sa se execute  tranzitia.

 marcajul reprezinta numarul de jetoane de fiecare culoare continute de pozitia respectiva si este reprezentat printr‐o suma simbolica. vectorul de marcaj se construieste in aceslasi fel ca pentru retelele generalizate.Particularitati ale retelelor Petri  colorate Marcajele pentru o pozitie pi. adica: ∀pi ∈°tj M(pi) ≥ IN(pi. tj/Ck). tj/Ck) . Tranzitii valide o tranzitie tj este valida in raport cu o culoare Ck ∈C(tj)  daca si numai daca numarul de marcaje (jetoane) din orice pozitie pi aflata in amonte de tj este mai mare sau egal cu  IN(pi.

 tj/Ck) Daca notam cu M marcajul retelei anterior executiei  tranzitiei si cu M’ marcajul rezultat.     M’(pi) = M(pi) + OUT(pi. tj/Ck) se adauga in toate pozitiile pi de iesire un numar de  jetoane egal cu OUT(pi. avem: ∀pi. tj/Ck) ‐ IN(pi. consta in efectuarea simultana a  doua operatii se retrage din toate pozitiile pi de intrare un numar de  jetoane egal cu IN(pi. tj/Ck) .Particularitati ale retelelor Petri  colorate Executia unei tranzitii valide tj in raport cu Ck.

 tj/Chj) . aceasta culoare este cea care stabileste regulile de  executie. Secvente de executii marcajul rezultat in urma executiei unei secvente de k  tranzitii.Particularitati ale retelelor Petri  colorate Observatie importanta:  odata ce o tranzitie este executata in raport cu o culoare data.  toate imaginile functiilor ponderi asociate fie arcurilor de  intrare in tranzitie. pornind de la un marcaj M1 al retelei. fie celor de iesire sunt calculate având ca argument culoarea respectiva. tj/Chj) ‐ IN(pi.  se  calculeaza pe baza formulei:  Mk+1(pi) = M1(pi) + OUT(pi.

 Odata inceputa deplasarea.  .  sensul ei nu mai poate fi modificat. Deplasarea unui  robocar poate sa se fie pornire → terminus (pt) sau  terminus → pornire (tp).Exemplu Fie doua robocare (r1 si r2) care se deplaseaza intre o  statie de pornire si o statie terminus.

Exemplu Modelare prin retele Petri generalizate: se face prin  intermediul a doua retele. fiecare reprezentând  functionarea unui robocar. .

Primul nivel de colorare .

  Semnificatia: pozitiei ramase este de “robocar in deplasare” tranzitiei ‐ “atingerea unui capat de cursa”(sau. implica deplasare in sens pornire→terminus. Un marcaj (jeton) de culoare pt in pozitia p ramasa. . in limbaj de  evenimente ‐ initierea deplasarii in sens opus celei curente).Primul nivel de colorare Se introduc doua culori:  pt ‐ care simbolizeaza deplasarea in sensul pornire→terminus si respectiv tp pentru deplasarea in sensul terminus→pornire. având aceeasi semnificatie cu un jeton necolorat in pozitia p1. Prezenta jetonului in pozitia p2 din reteaua originala corespunzatoare este reprezentata de un jeton de culoare tp in p.

Al doilea nivel de colorare .

  Un jeton r1 si un jeton r2 in pozitia p1 inseamna ca ambele robocare se deplaseaza in sensul pornire→terminus. cu aceeasi semnificatie ca in retelele generalizate.  Un jeton r1 in p1 si r2 in p2 inseamna ca robocarul r1 se  deplaseaza in sensul pornire→terminus.Al doilea nivel de colorare Se pastreaza structura de retea cu doua pozitii si doua tranzitii.  dar se introduc doua culori r1 si r2 care simbolizeaza distinct cele doua robocare. iar robocarul r2 se  deplaseaza in sensul terminus→pornire.) . etc.  Ansamblul pozitie‐culoare asigura pastrarea informatiei initiale.

 tp> . pt>) = <r1. f(<r2. tp>) = <r1. pt>) = <r2. tp>.  f(<r1.  f(<r2. tp>) = <r2. pt>.Colorarea totala f(<r1. pt>.

 pt> (semnificatiile simbolurilor sunt cele prezentate in exemplele de colorare anterioare). este definita astfel: f(<r1. <r2. care modeleaza modificarea sensului de  deplasare. pt>. tp>. si anume una care sa desemneze robocarul si alta care desemneaza sensul de deplasare al  acestuia. <r1. tp>) = <r2. pt>) = <r2. Functia pondere f. tp>.  f(<r1. f(<r2. pt>) = <r1. Sunt admisibile toate cele patru combinatii posibile: <r1. tp>) = <r1. pt>. ci sunt compuse dintr‐o pereche de culori.  f(<r2. pt>. <r2.Colorarea totala Culorile introduse nu mai sunt simple. tp> .  Toate cele patru culori comlexe formeaza multimea C1 de  culori asociata tranzitiei t.  tp>.

Exemple de marcaje complexe si de  tranzitii valide f(<b>) = <v> f(<v>) = <b> + <v> f(<o>) = <b> + 2<o> g(<b>) = <b> g(<v>) = <o> + <b> g(<o>) = 2<o> .

 iar pozitia p1 nu contine decât un singur jeton <o> .  deoarece IN(p1.  deoarece: IN(p1. t/<v>) = f(<v>) = <b> + <v> si pozitia p1 contine (mai mult de) un jeton <b> si un jeton <v> In schimb.Exemple de marcaje complexe si de  tranzitii valide Marcajul initial este: m(p1) = 3<b> + 2<v> + <o> m(p2) = 0 Tranzitia t poate fi executata in raport cu culorile <b>. t/<o>) = f(<o>) = <b> + 2<o>.  <o>. dar este valida doar in raport cu culorile<b> si <v>. <v>. tranzitia t nu este valida in raport cu <o>. t/<b>) = f(<b>) = <v> si pozitia p1 contine (mai mult de) un jeton <v> IN(p1.

Exemple de marcaje complexe si de  tranzitii valide Executia tranzitiilor si evolutia marcajelor Prin executia tranzitiei t in raport cu culoarea <b>.  marcajul rezultant este m”(p1) =  2<b> + <v> + <o> m”(p2) = <o> + <b> .  marcajul rezultant este m’(p1) =  3<b> + <v> + <o> m’(p2) = <b>  Prin executia tranzitiei t in raport cu culoarea <v>.

 Fiecare piesa este transportata de la o masina la cealalta pe o paleta. Paletele sunt reciclate la sfârsitul ciclului de productie al fiecarei piese (succesiunea operatiilor este aceeasi pentru ambele tipuri de piese. pentru fiecare tip de piesa existand o paleta. .  Fiecare masina are un buffer de intrare (B1.  Prima piesa prelucrata trebuie sa fie de tip 1.Exemplu de modelare Linie de fabricatie formata din doua masini (M1 si M2) opereaza succesiv asupra a doua tipuri de piese. si anume M1 ‐ M2).  Presupunem ca operatiile de incarcare/ descarcare se desfasoara fara restrictii. Marcajul initial  corespunde unui stoc de n1 piese de tip 1 si n2 piese de tip 2 in  bufferul de intrare al masinii M1. Ordonantarea liniei trebuie sa asigure alternarea pieselor functie de tip. deci nu sunt semnificative pentru modelarea sistemului. respectiv B2).

f(C1) = C1 + p1 f(C2) = C2 + p2 g(C2) = p2 g(C1) = p1 succ(C2) = C1 succ(C1) = C2 .Modelare cu  culori simple Modelarea ordonantarii alternative a pieselor se va face prin functia succ.

In ceea ce priveste pozitiile ele au asociata aceeasi multime de culori. p2}.  C2}. ceea ce se va face prin intermediul functiilor f si g  definite in continuare. cu  exceptia pozitiei B1.Modelare cu culori simple Pozitii: B1 si B2 ‐ continutul bufferelor de intrare ale masinilor M1 respectiv M2 M1L si M2L ‐ masinile M1 respectiv M2 – libere M1O si M2O ‐ masinile M1 respectiv M2 ‐ ocupate Tranzitii: t1 si T2 ‐ incarcarea masinilor M1 respectiv M2 T1’ si T2’ ‐ descarcarea masinilor M1 respectiv M2 Multimea culorilor asociate tuturor tranzitiilor retelelor va fi C={C1. care are asociata multimea C’=C ∪ {p1. . pentru a putea modela reciclarea paletelor si dependenta ciclului de prelucrare de prezenta acestora.

m0(M1L) = m0(M2L) = C1 ‐ adica masinile M1 si M2  sunt libere si asteapta sa prelucreze o piesa de tip 1 .Modelare cu culori simple Marcajul initial este urmatorul: m0(B1) = n1C1 + n2C2 + p1 +p2 ‐ adica in stocul de  intrare al masinii M1 exista n1 piese de tip 1 si n2 piese  de tip 2. precum si o paleta pentru transportul pieselor  de tip 1 si o paleta pentru transportul pieselor de tip 2.

Urmatoarea tranzitie executabila este t1’. care este trimisa in bufferul de  intrare al masinii M2. iar paleta este reciclata (prin intermediul functiei g dispare jetonul de culoare C1 si reapare jetonul p1). singura tranzitie executabila este t1. respectiv un jeton C1  si unul p1 din pozitia B1 (arcul are asociata functia f) si se introduce un jeton de  tip C1 in pozitia M1O ‐ adica o piesa de tip p1 este incarcata pe paleta corespunzatoare si este incarcata pe masina M1. Masina M1 este eliberata si asteapta spre prelucrare o  piesa de tip 2. prin care se extrage jetonul C1 din  M1O si se introduc un jeton C1 in B2. prin care se extrage un jeton de tip  C1 din pozitia M1L (arcul are asociata functia indentitate). atunci dupa secventa de tranzitii t2 si t2’ se  observa ca piesa propriu‐zisa iese din sistem. Daca se urmareste piesa de tip 1. . respectiv unul C2 in M1L (functia succ) ‐ adica se descarca masina M1 de piesa de tip 1.Modelare cu culori simple Functionarea retelei este urmatoarea: Initial. In continuare sunt executabile doua tranzitii: t1 care implica incarcarea pe masina M1 a unei piese de tip 2 transportata pe paleta corespunzatoare si t2  care implica incarcarea pe masina M2 (libera si asteptând spre prelucrare o  piesa de tip 1) a piesei de tip 1 din bufferul ei de intrare.

Modelare cu culori complexe f(<ci.m2> g(<ci. m2>) = pi succ1(<c1. mj> . j ≤ 2 g(<ci. mj>) = <c1.mj> succ1(<c2. unde 1 ≤ i. m1>) = pi + <ci. mj>) = <c2.mj>. mj>) = pi + <ci.

 mi> cu ci ‐ tipul piesei si mi ‐ tipul masinii pe care se prelucreaza. chiar si la o retea colorata prea complicata pentru a fi urmarita. se obtine in plus si o simplificare a structurii grafice a retelei. ceea ce implica utilizarea unor culori de forma <ci.Modelare cu culori complexe Modelarea cu culori simple poate conduce. In aceste conditii. Acest dezavantaj poate fi inlaturat prin colorarea atât in raport cu tipul de piese. in cazul unei linii de  fabricatie formata din mai multe masini. Culorile p1 si p2 au aceeasi semnificatie ca in cazul precedent. cât si in raport cu masinile. Observatia facuta pentru exemplul precedent ramane valabila. .

Sign up to vote on this title
UsefulNot useful