Professional Documents
Culture Documents
Retele Petri Colorate
O retea Petri colorata RC este un sextuplet
RC = < P, T, IN, OUT, M0, C >
in care:
y P = multimea pozitiilor
y T = multimea tranzitiilor
y IN si OUT sunt respectiv functiile asociate culorilor de
executie a tranzitiilor
y C = { C1, C2, ...} reprezinta multimea culorilor
y M0 = marcajul initial al retelei
Retele Petri Colorate
y Obs. O retea Petri colorata se deosebeste de o retea Petri
generalizata prin multimea culorilor care se asociaza
retelei.
y 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.
y O culoare poate fi interpretata ca un identificator pentru
marcaje (jetoane), permitând diferentierea acestora prin
intermediul unor informatii complementare.
y Notatie: o culoare poate fi reprezentata fie prin intregul n‐
tuplu, fie doar prin identificatorul acestuia ‐ Ck.
y Daca n = 1, atunci culoarea se numeste simpla.
Retele Petri Colorate
y Exemplu:
pentru o retea Petri care modeleaza un sistem de
fabricatie flexibila, o culoare
C1=<r, p, m>
poate sa contina informatii despre:
y tipul unui reper de prelucrat,
y pozitia sa intr‐o coada de asteptare
y masina pe care urmeaza sa fie prelucrat.
Retele Petri Colorate
y Obs. Utilizarea culorilor permite simplificarea structurilor grafice ale
retelelor Petri, pastrând constant (sau chiar imbogatind) continutul
informational al acestora.
Mk+1(pi) = M1(pi) + OUT(pi, tj/Chj) ‐ IN(pi, tj/Chj)
Exemplu
y Fie doua robocare (r1 si r2) care se deplaseaza intre o
statie de pornire si o statie terminus. Deplasarea unui
robocar poate sa se fie pornire → terminus (pt) sau
terminus → pornire (tp). Odata inceputa deplasarea,
sensul ei nu mai poate fi modificat.
Exemplu
y Modelare prin retele Petri generalizate: se face prin
intermediul a doua retele, fiecare reprezentând
functionarea unui robocar.
Primul nivel de colorare
Primul nivel de colorare
Se introduc doua culori:
y pt ‐ care simbolizeaza deplasarea in sensul pornire→terminus si
respectiv
y tp pentru deplasarea in sensul terminus→pornire.
Semnificatia:
y pozitiei ramase este de “robocar in deplasare”
y tranzitiei ‐ “atingerea unui capat de cursa”(sau, in limbaj de
evenimente ‐ initierea deplasarii in sens opus celei curente).
y g(<b>) = <b>
y g(<v>) = <o> + <b>
y g(<o>) = 2<o>
Exemple de marcaje complexe si de
tranzitii valide
y Marcajul initial este:
m(p1) = 3<b> + 2<v> + <o> m(p2) = 0
y Tranzitia t poate fi executata in raport cu culorile <b>, <v>,
<o>, dar este valida doar in raport cu culorile<b> si <v>,
deoarece:
y IN(p1, t/<b>) = f(<b>) = <v> si pozitia p1 contine (mai mult
de) un jeton <v>
y IN(p1, t/<v>) = f(<v>) = <b> + <v> si pozitia p1 contine (mai
mult de) un jeton <b> si un jeton <v>
y In schimb, tranzitia t nu este valida in raport cu <o>,
deoarece
y IN(p1, t/<o>) = f(<o>) = <b> + 2<o>, iar pozitia p1 nu contine
decât un singur jeton <o>
Exemple de marcaje complexe si de
tranzitii valide
Executia tranzitiilor si evolutia marcajelor
y Prin executia tranzitiei t in raport cu culoarea <b>,
marcajul rezultant este
m’(p1) = 3<b> + <v> + <o>
m’(p2) = <b>
f(C1) = C1 + p1
f(C2) = C2 + p2
g(C2) = p2
g(C1) = p1
succ(C2) = C1
succ(C1) = C2
Modelare cu culori simple
y Pozitii:
y B1 si B2 ‐ continutul bufferelor de intrare ale masinilor M1 respectiv
M2
y M1L si M2L ‐ masinile M1 respectiv M2 – libere
y M1O si M2O ‐ masinile M1 respectiv M2 ‐ ocupate
y Tranzitii:
y t1 si T2 ‐ incarcarea masinilor M1 respectiv M2
y T1’ si T2’ ‐ descarcarea masinilor M1 respectiv M2
y Multimea culorilor asociate tuturor tranzitiilor retelelor va fi C={C1,
C2}.
y In ceea ce priveste pozitiile ele au asociata aceeasi multime de culori, cu
exceptia pozitiei B1, care are asociata multimea C’=C ∪ {p1, p2}, pentru
a putea modela reciclarea paletelor si dependenta ciclului de prelucrare
de prezenta acestora, ceea ce se va face prin intermediul functiilor f si g
definite in continuare.
Modelare cu culori simple
y Marcajul initial este urmatorul:
y 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.
y 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
y Functionarea retelei este urmatoarea:
y Initial, singura tranzitie executabila este t1, prin care se extrage un jeton de tip
C1 din pozitia M1L (arcul are asociata functia indentitate), 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.
y Urmatoarea tranzitie executabila este t1’, prin care se extrage jetonul C1 din
M1O si se introduc un jeton C1 in B2, respectiv unul C2 in M1L (functia succ) ‐
adica se descarca masina M1 de piesa de tip 1, care este trimisa in bufferul de
intrare al masinii M2. Masina M1 este eliberata si asteapta spre prelucrare o
piesa de tip 2.
y 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.
y Daca se urmareste piesa de tip 1, atunci dupa secventa de tranzitii t2 si t2’ se
observa ca piesa propriu‐zisa iese din sistem, iar paleta este reciclata (prin
intermediul functiei g dispare jetonul de culoare C1 si reapare jetonul p1).
Modelare cu culori complexe
f(<ci, mj>) = pi + <ci,mj>,
unde 1 ≤ i, j ≤ 2