Documente Academic
Documente Profesional
Documente Cultură
CONDITIE :
O conditie reprezinta descrierea starii unei resurse a sistemului:
EVENIMENT :
Un eveniment este o actiune care se deruleaza in interiorul sistemului si deci a
carui realizare depinde de starea sistemului:
POZITIE :
In formalismul Retelelor Petri conditia este modelata cu ajutorul unei POZITII
TRANZITIE :
Un eveniment este o actiune care se deruleaza in interiorul unui sistem si deci de a
carei realizare depinde de starea sistemului:
RETEAUA PETRI
O Retea Petri este un graf orientat continand:
O multime finita de de pozitii, P={P 1, P2, P3, ..., Pm}, simbolizata prin cercuri
si reprezentand conditiile:
o O resursa a sistemului (de ex. : o masina, un stoc, un transportor, …)
o Starea unei resurse a sistemului (de ex. : masina libera, stoc vid,
transportor in pană, …)
O multime finita de tranzitii, T={T1, T2, T3, ..., Tn}, simbolizate prin liniute
si reprezentand multimea de evenimente (actiunile se deruleaza in sistem) a
caror aparitie provoaca modificarea starii sistemului,
POZITIE TRANZITIE
MARCAJUL :
Marcajul unei Retele Petri este precizat prin prezenta in interiorul pozitiilor a
unui numar finit (pozitiv sau nul) de marcaje sau jetoane. O pozitie este deci fie
vida fie marcata.
În cazul în care pozitia reprezinta o condiţie logică (de exemplu, masina oprita,
transportoare defect), prezenţa unui jeton indică faptul că această condiţie este
adevărată; falsa în caz contrar.
În cazul în care pozitia este o resursă (în sensul cel mai larg - de exemplu: o
maşină, un stoc), aceasta poate conţine mai multe jetoane (de exemplu, numărul de
articole în stoc).
MARCAJ INITIAL :
Marcaj initial, M0, al unei Retele Petri corespunde distributiei initiale de jetoane
in fiecare din pozitiile Retelei Petri si precizeaza starea initiala a sistemului care se
analizeaza.
Remarci :
Un jeton poate avea mai multe semnificatii in functie de pozitia in care se gaseste.
De exemplu intr-o Retea Petri prezentata in figura de mai jos se considera ca :
P1 reprezinta un stoc
P2 reprezinta o masina in curs de prelucrare
P3 reprezinta o masina libera
Semnificatia jetoanelor:
Numarul de jetoane in P1 indica numarul de piese in stoc
Un jeton in P2 indica faptul ca masina trateaza o piesa
Pozitiile de intrare sunt pozitiile de la care pornesc arcele orientate spre tranzitie.
Pozitiile de iesire sunt pozitii spre care sunt orientate arcele de la tranzitie.
Analizand tranzitia Ti :
Remarca :
TRANZITIA SURSA :
O tranzitie sursa este o tranzitie care nu are nici o pozitie la intrare ; este o
tranzitie intotdeauna autorizata (indeplinita) si autorizarea are loc atunci cand
evenimentul asociat se produce.
TRANZITIA RECEPTOR:
O tranzitie receptor este o tranzitie care nu are nici o pozitie de iesire ;
autorizarea (indeplinirea) unei tranzitii receptor consuma jetoanele tuturor
pozitiilor de intrare ale tranzitiei.
Remarci :
Aceste remarci implica faptul ca atunci cand sunt sensibilizate mai multe tranzitii
pentru acelasi marcaj (tranzitiile sunt autorizate (indeplinite) in paralel), multimea
marcajelor urmatoare va fi obtinuta considerand toate posibilitatile de autorizare
ale tranzitiilor unele dupa altele. Astfel N tranzitii sensibilizate vor conduce la N
marcaje, permitand astfel studierea multimea comportarilor posibile. Cu toate
acestea, acest mod de operare duce la o explozie combinatorica de marcaje pentru
Retele Petri de dimensiune mare.
2.1.6. Exemple
Care sunt tranzitiile autorizate (indeplinite) ale Retelei Petri si care vor fi
distributiile jetoanelor dupa autorizarea (indeplinirea) fiecarei tranzitii :
3. Tranzitiile validate,
4. Marcajele dupa autorizarea (indeplinirea) tranzitiilor validate si tranzitiile validate prin noile
marcaje
Rezolvare
MARCAJE ACCESIBILE :
Multimea de marcaje accesibile ale unei Retele Petri pornind de la un marcaj initial
dat, corespunde unei multimi de marcaje atinse dupa autorizarea (indeplinirea)
tranzitiilor sensibilizate unele dupa celelalte ; ceea ce corespunde la toate situatiile
posibile ale unei Retele Petri in cursul evolutiei ei pornind de la marcajul initial.
Multimea de marcaje accesibile, A(R ; M0), pentru Reteaua Petri din exercitiul 1
este :
A(R ; Mo) = {M0, M1, M2, M3, M4}.
Evolutia Retelei Petri este reprezentata mai jos cu marcajele reprezentate sub
forma de vectori coloana. Evolutia Retelei Petri poate sa fie reprezentata sub forma
unui graf de marcaje GA(R, M0), ale carui varfuri corespund marcajelor
accesibile.
2.1.8. Secventa de autorizare (indeplinire)
Sunt secvente posibile pornind de la marcajul initial M 0 ; fiecare marcaj obtinut
dupa atingerea unei tranzitii permite atingerea tranzitiei urmatoare din secventa.
Aceasta implica faptul ca arcele orientate care leaga pozitiile (de intrare si de
iesire) cu tranzitiile au implicit o pondere de o unitate. Acestea sunt Retele Petri
ordinare.
Intr-o maniera mai generala ponderile arcelor unei Retele Petri pot sa fie
superioare lui 1, In acest caz Retelele Petri se denumesc generalizate.
2.1.10. Retele Petri Generalizate
Autorizarea unei tranzitii validate, consta din ridicarea din fiecare din pozitiile de
intrare a unui numar de jetoane egal cu ponderea arcului care leaga pozitia de
tranzitie si depunerea unui numar de jetoane egal cu ponderea arcului care leaga
tranzitia de fiecare pozitie de iesire.
tra
Aceasta transformare care nu prezinta interes particular pentru analiza prin Retele
Petri este data numai pentru a ilustra echivalenta intre Retelele Petri generalizate si
Retelele Petri ordinare. De altfel exemplul prezentat este relativ simplu, dar aceasta
transformare poate conduce la Retele Petri ordinare foarte complicate.
Intr-o Retea Petri ordinara (sau generalizata) nu exista nici o limitare in ceea ce
priveste numarul de jetoane care pot fi dispuse intr-o anumita pozitie. Pentru
modernizarea sistemelor atunci cand o pozitie reprezinta o resursa a carei
capacitate este limitata (de exemplu un stoc pentru care capacitatea este limitata),
este necesar sa se poata reprezenta aceasta proprietate.
Intr-o Retea Petri cu capacitate, capacitatile (numere intregi >0) sunt asociate
pozitiilor. Autorizarea unei tranzitii de intrare a unei pozitii P i, a carei capacitate
este Cap (Pi), nu este posibila decat daca autorizarea acestei tranzitii nu conduce la
un numar mare de marcaje in Pi care sa depaseasca capacitatea sa.
Intro- Retea Petri, o tranzitie se numeste pura daca ea nu are nici o pozitie care
este in acelasi timp pozitie de intrare si pozitie de iesire. Daca toate tranzitiile
Retelei Petri sunt pure atunci Reteaua Petri este pura.
Intr-o retea Petri o tranzitie se spune ca este impura daca ea contine o pozitie care
este in acelasi timp si pozitie de intrare si pozitie de iesire, Daca tranzitiile Retelei
Petri sunt impure Reteaua Petri este impura.
In primele doua Retele Petri tranzitia Tk este impura deoarece Pj este in acelasi
timp pozitie de intrare si pozitie de iesire.
In reteaua Petri _2, deoarece Tk este validata, de fiecare data cand ea este autorizata
se adauga cate un jeton la Pj.
Transformarea unei Retele Petri impure intr-o Retea Petri Pura :
Toate Retelele Petri impure pot fi transformate in Retele Petri Pure. Aceasta
transformare care nu prezinta interes particular pentru analiza Retelelor Petri este
prezentata numai pentru a ilustra echivalenta dintre o Retea Petri impura si o Retea
Petri pura.
Pentru al doilea exemplu transformarea reprezinta cazul general. Intr-o Retea Petri
impura, tranzitia T2 impura, care este inlocuita prin « sub-reteaua » formata din T2’,
P2’ si T2’’. Pozitia P0 permite asigurarea autorizarii in secventa cu tranzitiile T2’ si
T2’’. Tranzitia T1 care nu este impura este inlocuita prin « sub-reteaua » constituita
de T1’, P1’ si T1’’ pentru a evita orice autorizare a lui T1 intre autorizarile lui T2’ si
T2’’.
2.1.13. Retea Petri cu Arc Inhibitor
Transformarea unei Retele Petri cu arc inhibitor intr-o Retea Petri ordinara nu este
posibila intotdeauna. Totusi daca Reteaua Petri cu arc inhibitor este marginita,
transformarea este posibila. Se inlocuieste fiecare arc inhibitor Pi Tj printr-o
pozitie P’i care este marcata cand Pi este vida.
2.2.2. Persistenta
PERSISTENTA :
Exemplu :
Reteaua de mai sus modeleaza doua procese care se executa in paralel dupa
autorizarea tranzitiei Ti. Dupa autorizarea lui Ti, procesul 1 = Pi…Pk si procesul 2 =
Pj…Pl evolueaza in maniera paralela, independenta si fiecare are ritmul sau.
2.2.4 Sincronizare
Intalnire Semafor
a. b.
MEMORARE :
a. b.
a. Autorizarea lui Ti este memorata prin sosirea unui jeton in Pi. Tj va putea sa
fie autorizata ulterior deoarece toate conditiile vor fi indeplinite
(reprezentare apropiata a semaforului).
b. Ti este autorizata de atatea ori de cate ori este necesar si numarul de jetoane
incrementat in consecinta ; aceste jetoane pot de exemplu sa reprezinte piese
si pozitia Pi un stoc.
2.3 Notatia Matriciala
2.3.1. Introducere
Retelele Petri au fost prezentate anterior intr-o maniera intuitiva, aspectele
matematice au fost suprimate pentru a usura intelegerea. Vom trata in aceasta sectiune
un minim de notatii matematice esentiale pentru analiza retelelor.
N este multimea numerelor naturale si aplicatiile Pre et Post sunte astfel definite :
Pre(Pi , Tj) este ponderea arcului Pi Tj , Pre(Pi , Tj) > 0, daca arcul exista
si
Post(Pj , Tj) ese ponderea arcului Tj Pj , Post(Pj , Tj) > 0,daca arcul exista
si
Pentru o Retea Petri ordinara N se reduce la multimea {0,1}, pentru ca daca arcele
exista ele au ponderea 1.
O Retea Petri (ordinara sau generalizata) marcata este un cuplu RM = (R, M), asa
incat :
R est le Reteaua Petri definta anterior
M:P N, este aplicatia (functia) marcaj a Retelei Petri
M(Pi) este numarul de jetoane in pozita Pi
2.3.3. Autorizarea unei tranzitii
Fie o Retea Petri (ordinara sau generalizata) marcata, RM = (P, T, Pre, Post, M), se
considera pozitiile Pi et Pj ale multimii P si tranzitia Tj a multimii T :
Pi este pozitia de intrare a Tj, si Pre(Pi, Tj) > 0 si °Tj este multimea pozitiilor
de intrare ale lui Tj
Pj este pozita de iesire a lui Tj, si Post(Pj, Tj) > 0 si T°j este multimea
pozitiilor de iesire a lui Tj
Remarci :
Aplicatia de incidenta inainte a unei Retele Petri permite definirea unei matrici de
incidenta inainte, W-, cu n linii si m coloane :
W-ij = Pre(Pi,Tj)
W-ij : indica numarul de jetoane luate din pozitia Pi prin realizarea tranzitiei Tj
2.3.5. Aplicatie & Matricea de Incidenta înapoi
Aplicatia de incidenta inapoi a unei Retele Petri permite definirea unei matrici de
incidenta inapoi, W+, cu n linii si m coloane :
W+ij = Post(Pi,Tj)
Exemplu :
realizarea tranzitiei
T3 :
scoate un
jeton din P1
scoate doua
jetoane din P2
adauga 2
jetoane in P3
nu modifica
marcajul in
P4
2.3.7 Vector caracteristic
Exemplu :
Fie o Retea Petri marcata RM=(R,Mo) si T = {T1, T2, T3, …, Tn}, multimea de
tranzitii ale lui R, se considera secventa S = T2T4T2T3T3TiTj realizabila pornind de
la un marcaj Mi.
T1 = 0, T2 = 2, T3 = 2, T4 = 1, T5 = 0, …, Ti = 1, Tj = 1, …, Tn = 0
Mj = Mi + W.S
Exemplu :
Fie Reteaua Petri : Matricea de incidenta:
Remarca :
Se spune ca S este un vector caracteristic posibil daca lui ii corespunde cel putin o
secventa de autorizari S realizabila pornind de la un marcaj Mi.
Intr-o Retea Petri impura daca exista o pozitie Pi si o tranzitie Tj astfel ca :
Adica exista o tranzitie avand aceeasi pozitie la intrare si la iesire ; matricea de incidenta
ne permite sa reconstruim Reteaua Petri.
Pre(Pi,Tj) = 2 et Post(Pi,Tj) = 3,
Pre(Pi,Tj) = 1 și Post(Pi,Tj)=1,
Pre(Pi,Tj) . Post(Pi,Tj) = 6 # 0
Pre(Pi,Tj) . Post(Pi,Tj) = 1 # 0
In matricea de incidenta W,
In matricea de incidenta W,
wij = w+ij- w-ij = Post(Pi,Tj) -
wij = w+ij- w-ij = Post(Pi,Tj) - Pre(Pi,Tj) = 0
Pré(Pi,Tj) = 1
Matricea de incidenta nu da deci nici o
Matricea de incidenta nu indica
indicatie despre posibilitatea de autorizare a
faptul ca Pi est pozitie de intrare a
acestei tranzitii
lui Tj