Modelare cu Retele Petri

partea a II-a
 P1 2 (3)
T4
T1 T3

P2 P3
T2

T
1 T 


2  1

1 
0
M
=
 
 

2
00 1

 


 T


0 2


0 T
2 

0

 
 

T
3


T
0


4 


0 

0

 



1

 

1


 Algebra Lineara (1)
 Definitie: O RP nemarcata ordinara este un
quadruplu Q=<P, T, Pre, Post> unde:
 P={P1, P2, …, Pn} multimea finita a pozitiilor
 T={T1, T2, …, Tm} multimea finita a tranzitiilor
 Pre:P x T  {0, 1} functia de incidenta de intrare
 Pre:P x T  {0, 1} functia de incidenta de iesire
 Pre(Pi, Tk) = ponderea arcului Pi  Tk;
 Pre(Pi, Tk) = ponderea arcului Tk  Pi
 Algebra Lineara (2)
 Notatii:
– 0 Tj = multimea pozitiilor de intrare a Tj
– Tj0 = multimea pozitiilor de iesire a Tj
– 0 Pi = multimea tranzitiilor de intrare a Pi
– Pi0 = multimea tranzitiilor de iesire a Pi

 O RP marcata este o pereche R = <Q, m0> unde Q e o

RP nemarcata si m0 un marcaj initial
 Algebra lineara (3)

 O tranzitie Tj este valida pentru un marcaj mk

daca mk(Pi)  Pre(Pi, Tj) pentru orice Pi din 0Tj
 Matricea de incidenta de intrare :
W- = [w-ij], cu Pre(Pi, Tj)
 Matricea de incidenta de iesire:
W+ = [w+ij], cu Post(Pi, Tj)
 P1

T1
P2 P4

T2 T3

P3 P5

T4

1 0 0 0 0 0 0 1  1 0 0  1
0 1 0 0 1 0 0 0  1  1 0 0 
   
W  0

0 0 1 W  0

1 0 0 W   0  1 0  1
     
0 0 1 0 1 0 0 0   1 0  1 0 
0 0 0 1 0 0 1 0  0 0  1  1
 Matricea de incidenta:
W = W+ - W-
 O coloana corespunde modificarilor de
marcaj aparute ca urmare a executiei
tranzitiei corespunzatoare.
 Daca o RP este pura, atunci matricea sa de
incidenta permite reconstituirea retelei
nemarcate.
 Ecuatia fundamentala
 Fie S o secventa de tranzitii care pot fi
executate din marcajul mk si care conduc la
marcajul mm (mk |S> mm)
mm = mk + W.s
cu s vectorul caracteristic al S.
Nota: s se numeste vector caracteristic « posibil » daca
ii corespunde cel putin o secventa executabila de
tranzitii.
 Retele Petri sincronizate (1)
 Caracteristica:
– fiecarei tranzitii i se asociaza un eveniment
extern
 Executia unei tranzitii va avea loc:
– daca tranzitia este valida
– cand apare (are loc) evenimentul asociat ei
 Evenimentele sunt fenomene de durata zero
 RP sincronizate (2)
 Definitie
– O RP sincronizata este un triplet
R, E, Sync unde:
– R este o RP marcata,

– E este multime de evenimente externe,

– Sync este o functie definita pe multimea T a
tranzitiilor lui R, cu valori in E  {e} unde e
este evenimentul intotdeauna adevarat.
 RP sincronizate (3)
 Evenimentul intotdeauna adevarat are ca
efecte:
– tranzitii imediate,
– marcaje instabile,
– deca exista un conflict intre o tranzitie imediata
Ta si o tranzitie ne-imediata Tb, atunci Ta are
prioritate peste Tb.
 RP sincronizate (4)
 Secventa de Executie Elementara
Secventa Sk este o secventa de executie elementara
(SEE) in raport cu un eveniment extern a pentru
un marcaj m, daca indeplineste urmatoarele trei
conditii:
1) Toate tranzitiile din Sk sunt valide si sincronizate pe a.
2) Sunt destule jetoane in m pentru executia tuturor tranzitiilor
din Sk.
3) Nu exista o alta secventa Sh care sa indeplineasca cele doua
conditii precedente si pentru care Sh  Sk.
RP temporizate (1)
 O temporizare poate fi asociata cu durata
unei operatii sau cu un interval de timp care
trebuie sa se scurga inainte de aparitia unui
eveniment extern.

 utilizata pentru evaluarea performantelor

RP temporizate (2)
Tipuri:
 RP cu durate asociate pozitiilor se numesc P-
timed (P-temporizate),
 RP cu durate asociate tranzitiilor, fara jetoane
rezervate, se numesc T-timed (T-temporizate),
 RP cu durate asociate tranzitiilor, cu jetoane
rezervate, se numesc T-timed with reserved
tokens.(T-temporizate cu jetoane rezervate)
RP P-temporizate
 O RP P-temporizata este o pereche
R, Tempo
unde:
– R e o RP marcata;
– Tempo e o functie definita pe multimea P a
pozitiilor cu valori in multimea numerelor
rationale pozitive.

 Tempo(Pi) = di = durata asociata lui Pi.

RP T-temporizate
 O RP T-temporizata este o pereche
R, Tempo
unde:
– R este o RP marcata;
– Tempo este o functie definita pe multimea T a
tranzitiilor cu valori in multimea numerelor
rationale pozitive.
 Tempo(Tj) = dj = durata asociata cu Tj.