Retele Petri

CAPITOLUL 2
Modelarea sistemelor dinamice cu evenimente

discrete utilznd Reele Petri
2.1 Introducere
Exist o oarecare dificultate n perceperea caracterului dinamic al
sistemelor cu evenimente discrete. Conceptul de sistem dinamic trebuie privit
n strns legtur cu cel de semnal, deoarece sistemele dinamice apar ca
prelucrnd semnale de intrare, pentru a furniza semnale de ieire. Aceast
prelucrare se traduce, la sistemele dinamice continue sau discrete prin
ntrzieri datorate fenomenelor de acumulare de mas sau energie. Principiul
de baz n modelarea sistemelor dinamice const n evidenierea
"transformrii" pe care o sufer semnalul de intrare, pentru a genera semnalul
de ieire. Pentru analistul obinuit cu sistemele clasice (continue sau discrete),
dificultatea modelrii SDED provine din faptul c "semnalele" sunt modelate
uneori implicit i, oricum, de manier abstract. Ele sunt privite ca succesiuni
de evenimente. Evoluia strii unui SDED se produce ca urmare a producerii
unui astfel de eveniment.
Un SDED este discret n timp, are un spaiu al strilor de natur discret i
o evoluie asincron n raport cu evenimentele de intrare.
SDED pot fi deterministe sau nedeterministe, dup cum evoluia pe
traiectoria de stare se poate face de manier determinist sau funcie de alte
criterii, cum ar fi "ansa" intern sau alte mecanisme care nu sunt n mod
necesar modelate de analistul sistemului.
Reeaua Petri este un model matematic, cu ajutorul cruia se poate face
descrierea relaiilor ce exist ntre condiii i evenimente. Deoarece reeaua
Petri (RP), ca instrument de modelare, are numeroase aplicaii, n afar de
reelele Petri de baz, au fost dezvoltate o multitudine de tipuri de reele. n
seciunea 2.3, sunt prezentate conceptele de baz referitoare la reelele Petri i
cteva clase de modele derivate, care pot fi utilizate pentru modelarea SDED.
n acest capitol vom prezenta utilizarea reelelor Petri pentru modelarea i
evaluarea performanelor sistemelor dinamice cu evenimente discrete (SDED).
22 Partea I Modelare si analiza
Pentru urmrirea acestui obiectiv vom prezenta definiiile de baz,
mecanismele de evoluie ale reelelor Petri (pe scurt RP), proprietile generale
i metode generale de analiz cum ar fi matricea de inciden, graful
marcajelor accesibile, arborele i graful de acoperire
Reelele Petri prezint dou caracteristici interesante pentru studiul SDED.
Prima caracteristic este posibilitatea de a modela i vizualiza comportamente
de tipul concuren, sincronizare i partajarea resurselor. Cea de-a doua
caracteristic interesant a reelelor Petri este dat de posibilitile de analiz
pe care acestea le ofer.
Reeaua Petri este un instrument care permite modelarea oricrui proces cu
evenimente discrete. Un astfel de model rspunde foarte bine la ntrebarea
cum funcioneaz procesul i permite analiza calitativ a acestuia. Analiza
performanelor se poate face n mai mic msur iar problemele de conducere
sunt mai greu abordabile.
2.2 Definiie. Proprieti generale
O reea Petri este un graf bipartid cu dou tipuri de noduri: locuri i tranziii.
Arcele orientate leag anumite locuri de anumite tranziii, sau anumite tranziii
de anumite locuri. Un arc nu leag niciodat dou noduri de aceeai natur. n
general, locurile sunt reprezentate prin cercuri i tranziiile prin bare (sau
dreptunghiuri). Fiecare loc poate conine una sau mai multe mrci (sau
jetoane), reprezentate prin puncte. Aa cum vom vedea mai departe, aceste
mrci vor permite modelarea dinamicii sistemului.
Marcajul unei reele Petri este un vector de dimensiune egal cu numrul de
locuri, ale crui componente sunt numere ntregi pozitive sau nule. Cea de-a
na component a vectorului reprezint numrul de mrci ce figureaz n
locul n al reelei Petri.
Fiecrui arc i se asociaz ca pondere un numr ntreg pozitiv. Dac aceast
pondere nu este figurat pe arc, se consider c este egal cu 1.
Cu aceste elemente fixate, putem defini o RP.
Definiie 2.1: O reea Petri este un cvintuplu RP = (P, T, A, W, M
0
), unde:
P = {P
1
, P
2
, ,P
n
} este mulimea locurilor;
T = {T
1
, T
2
, , T
m
} este mulimea tranziiilor;
A (PT) (TP) este mulimea arcelor,
W : A {1, 2, 3, } este funcia de ponderare ataat
arcelor,
M
0
: P {0, 1, 2, } este marcajul iniial.
Cap. 2 ModelareaSDED utilizand RP 23
Observaie: Mulimile locurilor i tranziiilor sunt disjuncte:
P T = .
O reea Petri fr marcaj iniial este notat:
N = (P, T, A, W),
deci, o reea Petri este definit prin dubletul:
RP = (N, W
0
).
Dac toate arcele reelei Petri au ponderea 1, atunci reeaua se numete
reea Petri ordinar.
Se introduc notaiile urmtoare:
T
j
= {P
i
P| (P
i
, T
j
) A} = mulimea locurilor de intrare n tranziia T
j
T
j

= {P
i
P| (T
j
, P
i
) A} = mulimea locurilor de ieire din T
j
P
i
= {T
j
T| (T
j
, P
i
,) A} = mulimea tranziiilor de intrare n P
i
P
i
= {T
j
T| (

P
i
, T
j,
) A} = multimea tranziiilor de ieire din P
i
.
Definiie 2.2: O tranziie T
j
se spune c este validat (sau autorizat) dac
este ndeplinit condiia:
M(P
i
) W(P
i
, T
j
), P
i
T
j
,
sau, cu alte cuvinte, dac orice loc de intrare P
i
, n tranziia T
j
conine un numr de mrci cel puin egal cu ponderea arcului
de la P
i
la T
j
. Declanarea tranziiei este indivizibil.
n cazul particular al RP ordinare, condiia de autorizare a unei tranziii
const n existena a cel puin unei mrci n toate locurile de intrare.
O tranziie T
j
, care este autorizat se poate declana. A declana tranziia T
j
nseamn:
- a extrage W(P
i
, T
j
) mrci din toate locurile P
i
aparinnd
mulimii T
j
,
- a aduga W(T
j
, P
k
) mrci n toate locurile P
k
aparinnd
mulimii T
j
.
Formal, declanarea unei tranziii T
j
, din marcajul M
0
, const n
transformarea marcajului iniial ntr-un marcaj M, definit de maniera
urmtoare:
'
j i j i i 0
j i i
j
i 0
j i
j
i i 0
i
T P si T P daca ) P ( M
T P daca ) P , T ( W ) P ( M
T P daca ) T , P ( W ) P ( M
) P ( M
.
Declanarea (tirul) tranziiei se produce ntr-un interval de timp infinit
scurt.
n exemplul din fig.2.1 a), tranziia T
1
nu este autorizat n vreme ce n
fig.2.1 b) tranziia T
1
este autorizat prin marcajul M
0
= (1, 1, 1, 0).
Declanarea tranziiei T
1
conduce n marcajul M
1
=(0, 0, 0, 1), conform relaiei:
M
0
(T
1
M
1
.
Mulimea marcajelor care pot fi atinse plecnd din marcajul M
0
, efectund
una sau mai multe declanri, se noteaz R(M
0
).
Marcajul la un moment dat definete starea reelei sau, mai precis, starea
sistemului modelat de reeaua Petri. Evoluia strii corespunde evoluiei
marcajului, care este determinat de declanarea tranziiilor.
ntr-o RP marcat, declanarea unei tranziii autorizate se produce n
momentul apariiei evenimentului care determin tirul (declanarea) tranziiei.
Dac declanarea unei tranziii nu este condiionat de nici un eveniment,
atunci ea se declaneaz de ndat ce este autorizat.
a) b)
T
1
P
1
P
2
P
3
P
4
T
1
P
1
P
2
P
3
P
4
T
1
P
1
P
2
P
3
P
4
Figura 2.1. Exemple de declanri
Se consider c tirul tranziiei are loc ntr-un interval de timp de durat
nul, deoarece conceptul de durat nu este explicitat ntr-un model de tip reea
Petri (nici mcar n reelele Petri sincronizate sau temporizate). n modelele
SDED de tip RP este uzual s se considere c, la un moment dat, se
declaneaz o singur tranziie.
Exemplul 2.1
Se consider reeaua Petri din figura 2.2. Marcajul su iniial este M
0
= [1, 2, 3,
4].
Declanarea (sau tirul) tranziiei T
2
conduce la marcajul M
1
=[0, 3, 4, 4].
Dac plecnd din M
1
se declaneaz T
5
se obine marcajul M
2
=[0, 3, 5, 3].
Dac plecnd din M
2
se declaneaz T
3
, marcajul devine M
3
=[0, 2, 5, 3]. Se
spune c s-a trecut de la marcajul M
0
la marcajul M
3
efectund declanarea
secvenei =<T
2
, T
5
, T
3
> i se scrie:
M
0

M
3
.
Secvena va fi numit declanabil (sau, uneori, admisibil).
Definiie 2.3: Un marcaj este accesibil dac poate fi obinut plecnd din
marcajul iniial al RP, prin aplicarea unei secvene de tranziii.
2.3 Analiza calitativ a Reelelor Petri
Pentru analiza calitativ a comportamentului unui SDED modelat cu reele
Petri, se definesc cteva proprieti ale acestora.
Definiie 2.4: Un conflict (sau conflict structural) corespunde existenei unui
loc P
i
care are cel puin dou tranziii de ieire T
1
, T
2
, Acest
conflict se va nota printr-un dublet format dintr-un loc i o
mulime de tranziii:
T
1
P
1
T
2
P
2
T
3
P
3
P
4
T
4
T
5
Figura 2.2
K = .
Definiie 2.5: Un conflict efectiv este dat de existena unui conflict structural
K, i a unui marcaj, M, astfel nct numrul de marci din locul
P
i
este inferior numrului de tranziii de ieire din P
i
care sunt
validate de M.
Acest conflict efectiv este reprezentat de tripletul:
K
e
= .
n figura 2.3 sunt reprezentate cteva RP ce ilustreaz conceptele de
conflict i conflict efectiv.
n figura 2.3 a), avem conflictul structural
K
1
= .
Marcajul iniial valideaz T
1
i T
2
, dar nu este dect o marc, deci exist un
conflict efectiv:
K
e
= .
Pentru figura 2.3 b), marcajul curent nu valideaz dect T
1
, deci nu este
conflict efectiv. n figura 2.3 c) cele dou tranziii ale conflictului sunt
validate, i exist dou mrci, deci nu exist conflict deoarece ambele tarnziii
se pot declana. n cazul reelei din figura 2.3 d) exist un conflict efectiv cu o
structur particular. Marcajul permite declanarea unei singure tranziii dintre
cele dou validate: de exemplu dup declanarea T
1
se poate apoi declana T
2
deoarece exist nc o marc n P
1
. Aceast reea este persitent pentru
P
1
T
1
T
2
a)
P
1
T
1
T
2
P
2
P
3
b)
P
1
T
1
T
2
c)
P
1
T
1
T
2
d)
Figura 2.3 Exemple de RP n care exist conflict
marcajul considerat. Ordinea de declanarea a tranziiilor T
1
i T
2
este
indiferent deoarece secvenele T
1
T
2
i T
2
T
1
sunt amndou posibile, i n plus
conduc la acelai marcaj.
Noiunea de persisten este important n cazul conflictului, dar ea se
poate aplica i n alte cazuri.
Definiie 2.6: O Reea Petri se numete persistent pentru marcajul iniial
M
0
,m dac pentru orice marcaj accesibil M
i
R(M
0
) este
ndeplinit proprietatea urmtoare:
- dac T
k
, T
j
sunt validate din M
i
atunci T
k
T
j
este o secven
de declanri plecnd din M
i
(la fel ca i T
j
T
k
) prin simetrie.
Anumite RP au structuri particulare, adic posed caracteristici i
proprieti pe care nu le au reelele n cazul general. Aceste structuri
particulare sunt grafurile de evenimente, grafurile de stri, reele fr conflict,
etc.
Definiie 2.7: O reea Petri se spune c este graf de evenimente dac i
numai dac orice loc are exact o tranziie de intrare i o
tranziie de ieire.
Definiie 2.8: O reea Petri se spune c este graf de stri dac i numai dac
orice tranziie are exact un loc de intrare i un loc de ieire.
Observaie: Caracteristicile de tip graf de stri sau graf de marcaj se mai
numesc i caracteristici structurale deoarece ele nu depind de
marcajul RP
Definiie 2.9: Se spune despre un loc P
i
c este mrginit pentru un marcaj
iniial M
0
, dac pentru orice marcaj accesibil, plecnd din M
0
numrul de mrci din P
i
este finit.
Definiie 2.10: O reea Petri este mrginit pentru marcajul iniial M
0
dac,
pentru fiecare dintre marcajele accesibile, toate locurile sunt
mrginite pentru M
0
.
Un caz particular de reea mrginit este reeaua binar (sau sigur), n
care marcajul fiecrui loc este cel mult 1.
Reeaua din figura 2.4 a) este o reea mrginit, deoarece mulimea
marcajelor accesibile din M
0
este:
{M
1
, M
2
, M
3
, M
3
}, unde
M
1
= [1, 2], M
2
= [0, 3], M
3
= [2, 1], M
4
= [3, 0.],
i se poate vedea imediat c marcajele celor dou locuri sunt mrginite.
Reeaua din figura 2.4 b) nu este o reea mrginit, deoarece n locul P
2
se
acumuleaz mrci la fiecare declanare a tranziiei T
1
, deci P
2
nu este mrginit.
Marcajul unei reele Petri evolueaz prin declanarea tranziiilor. Atunci
cnd anumite tranziii nu sunt declanabile, o anumit parte a reelei nu mai
funcioneaz, i cel mai probabil exist o problem de proiectare a
sistemului modelat de reea.
Definiie 2.11: O tranziie T
j
este vivant pentru marcajul iniial M
0
, dac
pentru orice marcaj accesibil M
i
R(M
0
) exist o secven de
declanri S ce conine tranziia T
j
plecnd din M
i
.
Altfel spus, oricare ar fi evoluia, va exista ntotdeauna o posibilitate de a
declana T
j
, dac aceasta este vivant.
Aceast noiune este ilustrat n figura 2.5, pentru tranziia T
1
. Figura 2.5 a)
reprezint o RP care are dou marcaje accesibile:
R(M
0
) = {M
0
, M
1
}, unde
M
0
= [1, 0], M
1
= [0, 1]
i pentru fiecare dintre aceste marcaje exist o secven de declanri ce
conine T
1
, deci tranziia este vivant.
Reeaua din figura 2.5 b) are trei marcaje accesibile, adic:
P
1
P
2
T
1
b)
P
1
P
2
T
1
T
2
a)
Figura 2.4 Reele mrginite i nemrginte
R(M
0
) = {M
0
, M
1
, M
2
}, unde
M
0
= [1, 0, 0], M
1
= [0, 1, 0], M
2
= [0, 0, 1].
Se poate remarca uor c nu exist secven de declanri care s conin
tranziia T
1
plecnd din marcajul M
1
(nici plecnd din M
2
), deci tranziia T
1
pentru reeaua Petri din figura 2.5 b) nu este vivant.
Definiie 2.12: O reea Petri se numete vivant pentru marcajul iniial M
0
dac toate tranziiile sale sunt vivante pentru M
0
.
Altfel spus, dac o RP este vivant pentru marcajul iniial M
0
, aceasta
nseamn c oricare ar fi evoluia nici o tranziie nu va deveni definitiv
nedeclanabil.
Definiie 2.13: a) O tranziie T
j
este quasi-vivant pentru un marcaj iniial M
0
dac exist o secven de declanri ce conine T
j
plecnd din
M
0
.
b) O reea Petri este quasi-vivant pentru un marcaj iniial M
0
,
dac toate tranziiile sale sunt quasi-vivante.
Altfel spus, o tranziie este quasi-vivant dac exist o ans ca acest
tranziie s fie declanat. Un exemplu n acest sens, este tranziia T
1
din RP
din figura 2.5b), care se declaneaz o dat nainte de a deveni definitiv
nedeclanabil.
Definiie 2.14: Un blocaj (sau stare final) este un marcaj din care nici o
tranziie nu este autorizat.
P
1
P
2
T
1
T
2
a)
P
1
P
2
T
1
P
3
T
2
T
3
b)
Figura 2.5 Reele vivante i quasi-vivante
Spre exemplu, n reeaua Petri din figura 2.6, declanarea tranziiei T
1
conduce la marcajul M
1
= [0, 1, 0, 0]. Acest marcaj este un blocaj. Nici o
evoluie a marcajului nu mai este posibil. Reeaua este quasi-vivant.
Definiie 2.15: Se spune c o reea Petri este fr blocaj pentru un marcaj
iniial M
0
dac nici un marcaj accesibil M
i
R(M
0
) nu este un
blocaj.
Reeaua din figura 2.5 b) este o reea quasi-vivant fra blocaj. Dup
declanarea tranziiei T
1
se ajunge n marcajul M
1
= [0, 1, 0] i tranziiile T
2
i
T
3
sunt vivante plecnd din acest marcaj. Altfel spus, o reea fr blocaj este
caracterizat de faptul c rmne ntotdeauna o parte care funcioneaz.
Observaie: Proprietile de vivacitate i blocaj depind de manier evident
de marcajul iniial. De exemplu dac marcajul iniial al RPdin
figura 2.4 a) ar fi M
0
= [0, 0], atunci acesta ar fi un blocaj: nici
o tranziie nu este validat.
Definiie 2.16: a) O RP are o stare de primire M
a
pentru un marcaj iniial M
0
dac pentru orice marcaj accesibil M
i
R(M
0
) exist o
secven de declanri astfel nct:
M
i
(S
i
M
a
.
b) O RP este reiniializabil pentru un marcaj iniial M
0
dac
M
0
este o stare de primire.
Starea de primire este o proprietate a reelei ce depinde de marcajul iniial.
De exemplu, pentru RP din figura 2.6 i marcajul iniial M
0
= [1, 0, 0, 0] nu
exist stare de primire, n vreme ce pentru aceeai reea i marcajul iniial M
0

= [0,0,1,0], exist dou stri de primire. Aceste stri sunt marcajele M
0
i
[0,0,0,1].
Dup ce am prezentat cteva proprieti pe care le pot avea reelele Petri,
este interesant de vzut cum putem determina dac o reea are o anumit
P
1
T
1
T
2
P
2
P
3
T
2
P
4
Figura 2.6 Blocaj
proprietate. Exist n principal trei clase de metode pentru determinarea
proprietior reelelor Petri:
-stabilirea grafului de marcaj i a arborelui de acoperire (aceasta este
metoda cea mai important),
- determinarea proprietilor cantitative i calitative utiliznd algebra
liniar,
- determinarea proprietilor RP prin reducerea acestora, care nu
conduce la RP echivalente, dar permite pstrarea anumitor proprieti,
pentru simplificarea analizei prin metodele precedente.
Definiie 2.17: Graful de marcaj este compus din noduri ce corespund
marcajelor accesibile i arce corespunznd declanrilor
tranziiilor ce determin trecerea de la un marcaj la altul.
n figura 2.7 a) este prezentat o Reea Petri cu marcajul su iniial M
0
= [2,
0]. n figura 2.7 b) este prezentat graful su de marcaj. Din acest graf se pot
determina proprietile reelei. Se poate vedea foarte uor c reeaua este
mrginit (deoarece numrul maxim de mrci din fiecare loc este maxim 2), nu
este vivant i chiar are dou stri de blocaj, este quasi-vivant (deoarece
plecnd din M
0
este posibil declanarea T
1
cel puin o dat i pentru T
2
la fel),
nu are stare de primire, deci nu este reiniializabil.
Definiie 2.18: Un arbore de acoperire este un graf de marcaj particular, cu
un numr finit de noduri, pentru reele care nu sunt mrginite
(care au un numr infinit de marcaje accesibile) n care nu
exist nici bucl, nici circuit.
Pentru RP din figura 2.8 a), tranziia T
1
este validat; declanarea ei are ca
rezultat depunerea unei mrci n P
1
. Dupa aceea sunt dou tranziii validate T
1
i T
2
. Dac se declaneaz T
1
marcajul locului P
1
devine 2 .a.m.d.. n figura
2.8 b) este reprezentat nceputul construciei grafului de marcaj. Acest graf nu
poate fi construit n ntregime deoarece reeaua nu este mrginit, adic
P
1
T
2
T
1
P
2
1
]
1
0
2
1
]
1
1
1
1
]
1
2
0
1
]
1
1
0
T
1
T
1
T
2 M
0 M
1
M
2
M
1
Figura 2.7 Graf de marcaj
a) b)
numrul marcajelor accesibile este infinit. Din acest motiv, putem construi un
arbore de acoperire, care are prin definiie un numr finit de locuri.
Pentru construcia arborelui de acoperire se pleac din marcajul iniial M
0
=
[0] i declannd T
1
se obine:
M
0
(T
1
M
1
= [1],
i cum M
1
> M
0
, declanarea T
1
se poate repeta de ori de cte ori se dorete.
Din acest motiv i se asociaz lui P
1
marcajul simbolic ce are semnificaia c
marcajul P
1
poate atinge un numar ntreg k orict de mare. (prin abuz de
limbaj, [] va fi numit marcaj chiar dac el reprezint o infinitate de marcaje
posibile. Plecnd din marcajul [] sunt dou tranziii validateT
1
i T
2
,. Dac
erau k mrci n P
1
nainte de declanarea T
1
, vor fi k+1 mrci dup declanarea
T
1
i k-1 mrci dup declanarea T
2
. Ambele valori k+1 i k-1 pot fi orict de
mari, i li se asociaz simbolul . Se obine astfel arborele de acoperire din
figura .8 c).
Algoritmul de construcie al arborelui de acoperire
Pasul 1. Plecnd din marcajul iniial M
0
sunt indicate toate tranziiile
validate i marcajele succesoare corespunztoare. Dac unul
dintre aceste marcaje este strict mai mare dect M
0
, se pune
pentru fiecare dintre componentele superioare componentelor
corespunztoare din M
0
.
Pasul 2. Pentru fiecare nou marcaj M
i
al arborelui de marcaj se trece fie la
pasul 2.1, fie la pasul 2.2.
Pasul 2.1 Dac exist pe drumul de la M
0
la M
i
, un marcaj M
j
= M
i
,
atunci M
i
nu are succesor.
Pasul 2.2 Dac nu exist pe drumul de la M
0
la M
i
, un marcaj M
j
= M
i
,
atunci se prelungete arborele adugnd toi succesorii
marcajului M
i
. Pentru fiecare succesor M
k
al lui M
i
se
aplic urmtoarea regul:
T
1
P
1
T
2
a)
[ ] 0 [ ] 1
[ ] 2 [ ] 3
M
0
T
1
T
2
M
1
T
2
T
1
T
1
T
1
T
2
T
2
M
2
M
3
b)
[ ] 0
[ ]
[ ]
[ ]
T
1
T
1
T
2
M
0
c)
Figura 2.8 Arbore de acoperire
1) o component a lui M
i
rmne o component
pentru M
k
;
2) dac exist un marcaj M
j
pe drumul de la M
0
la M
k
astfel nct M
k
> M
j
, atunci se pune pentru fiecare
dintre componentele superioare componentele din
M
j
.
Acest algoritm este ilustrat cu ajutorul figurilor 2.9 a), b) i c).n figura 2.9
b) este prezentat arborele de acoperire pentru reeaua Petri din figura 2.9 a), iar
n figura 2.9 este prezentat graful de acoperire obinut n urma aplicrii
algoritmului.
Exemplul 2.2. (ilustrat prin figurile 2.9 a) i b))
Pasul 1. M
0
(T
1
M
1
Pasul 2.2. pentru M
1
M
1
(T
2
M
2
P
1
P
2
P
3
T
1
T
2
T
3
a)
b)
c)
1
1
1
]
1
0
0
1
1
1
1
]
1
1
1
0
1
1
1
]
1
0
0
0
1
1
1
]
1
0
1
1
1
1
]
1
1
0
1
1
1
]
1
0
0
1
1
1
]
1
0
1
T
1
M
2
T
1
M
0
T
2
T
2
T
3
T
3
M
1
M
0
+
M
1
+
M
2
+
M
0
+
1
1
1
]
1
0
0
1
1
1
1
]
1
1
1
0
1
1
1
]
1
0
0
0
1
1
1
]
1
0
1
1
1
1
]
1
1
0
1
1
1
]
1
0
0
T
1
M
2
T
1
M
0
T
2
T
2
T
3
T
3
M
1
M
0
+
M
1
+
M
2
+
Figura 2.9 Arbore de acoperire i graf de acoperire
M
1
(T
3
[1, 0 ,1]. Cum [1, 0 ,1] > [1, 0 ,0] = M
0
, se scrie:
M
1
(T
3
[1, 0 ,] = M
0
+
.
Pasul 2.2. pentru M
2
: nici o tranziie validat, este un blocaj.
Pasul 2.2. pentru M
0
+
M
0
+
(T
1
[0, 1 ,] = M
1
+
Pasul 2.2. pentru M
1
+
M
1
+
(T
2
[0, 0 ,] = M
2
+
M
1
+
(T
3
[1, 0 ,] = M
0
+
Pasul 2.2. pentru M
2
+
: nici o tranziie validat, este un blocaj.
Pasul 2.1. pentru M
0
+
Pe drumul ce corespunde tranziiilor T
1
T
3
T
1
T
3
din M
0
, acelai
marcaj M
0
+
a fost deja ntlnit.
Arborele de acoperire obinut prin acest algoritm conine totdeauna un
numr finit de noduri. Se poate obine un graf de acoperire (adic un graf de
acoperire al marcajelor accesibile) fuzionnd nodurile arborelui care
corespund aceluiai marcaj. Pe figura 2.9 b) exist dou noduri ce corespund
M
0
+
. Dac se fuzioneaz aceste noduri, se obine graful de acoperire din figura
2.9 c).
Plecnd de la arborele de acoperire din figura 2.9 b), sau de la graful de
acoperire din figura 2.9 c), se pot face urmtoarele observaii:
- locurile P
1
i P
2
sunt mrginite, dar locul P
3
nu este;
- exist o infinitate de blocaje, ce corespund M
2
i M
2
+
;
- reeaua este quasi vivant;
- mulimea secvenelor declanri formeaz limbajul:
L = T
1
T
2
+ T
1
T
3
(T
1
T
3
)*T
2
.
Un alt instrument utilizat pentru analiza calitativ a SDED modelate prin
RP este algebra liniar, care n principal utilizeaz ecuaia fundamental
pentru a obine invarianii reelei.
Pentru a exemplifica utilizarea algebrei liniare n analiza SDED modelate
cu RP, vom considera exemplul prezentat n cele ce urmeaz.
Exemplul 2.2
Dou calculatoare CP
1
i CP
2
partajeaz o memorie comun. Calculatorul
CP
1
are trei stri posibile: fie cere acces la memorie (locul P
1
) sau utilizeaz
resursa (locul P
2
) sau nu are nevoie de ea (locul P
3
). De manier similar
calculatorul CP
2
are trei stri cu aceeai semnificaie. Cnd memoria este
liber (locul P
7
este marcat) i CP
1
face cerere de memorie , tranziia T
1
din
figura 2.2 este autorizat. Dac T
1
este declanat, CP
1
utilizeaz memoria, iar
la terminarea taskului de utilizare a memoriei, se declaneaz T
2
i resursa
memorie este eliberat, fiind gata de a fi folosit de CP
1
sau de CP
2
.
Reeaua Petri care modeleaz funcionarea celor dou calculatoare este
prezentat n figura 2.10, i descrie partajul resursei memorie.
Definiie 2.19: Un invariant de marcaj este o mulime de locuri {P
j
}
j = m k , k + cu proprietatea:
M
i
(P
k
) + M
i
(P
k+1
) + +M
i
(P
j
) + + M
i
(P
k+m
) = c,
unde c este o constant ntreag.
De exemplu, pentru reeaua din Fig. 2.10, {P
2
, P
5
, P
7
} este un invariant,
deoarece:
m
2
+ m
5
+ m
7
= 1.
Semnificaia fizic a acestui invariant este c resursa memorie comun este
partajat de cele dou calculatoare CP
1
i CP
2
, deci, nu poate fi utilizat dect
de un singur calculator la un moment dat.
Definiie 2.20: O reea este conservativ, dac exist un invariant ce conine
toate locurile.
Definiie 2.21: O secven repetitiv din marcajul M
i
este o secven de
tranziii s , care realizeaz transferul:
Figura 2.10 Reea Petri care modeleaz concurena i partajul resurselor
P
1
T
1
T
2
P
2
T
3
P
3
P
7
T
4
P
5
T
5
P
4
T
6
P
6
CP
1
cere acces
CP
1
nu are nevoie de
memorie
CP
1
utilizeaz
memoria
CP
2
utilizez
memoria
Memorie
disponibil
CP
2
cere acces
CP
2
nu are nevoie de
memorie
M
i

s
M
i
.
De exemplu, pentru reeaua din Fig.2.10, se poate vedea uor c, s
1
= T
4
T
5
T
6
este o secven repetitiv din marcajul M
1
, unde M
1
= [1, 0, 0, 1, 0, 0, 1].
Definiie 2.22: O secven repetitiv este o secven de tranziii care
realizeaz transferul
M
0

s
M
i
.,
unde s = s
1
s
2
astfel nct s
2
este o secven repetitiv din M
i
.
n exemplul din Fig.2.10, s = s
1
s
2
este o secven repetitiv, pentru s
2
=
T
1
T
2
T
3
.
Definiie 2.23: O component repetitiv este o submulime a mulimii T ce
conine tranziiile dintr-o secven repetitiv.
De exemplu, pentru reeaua din fig 2.10, se poate vedea intuitiv c, exist
mai multe componente repetitive: {T
1
,T
2
, T
3
}, {T
4
,T
5
,T
6
}, {T
1
,T
2
, T
3
, T
4
,T
5
,T
6
}.
Definiie 2.24: Matricea de inciden, notat W, este matricea ale crei
elemente w
ij
corespund modificrilor de marcaj pe care le
produce declanarea tranziiei T
j
asupra locului P
i
.
Observaie: Dimensiunea matricii de inciden este (nm), unde n =
card(P) i m= card(T).
n matricea de inciden, o linie este asociat unui loc i o coloan este
asociat unei tranziii.
Pentru reeaua din figura 2.10, care are card(P) = 7 i card(T) = 6, matricea
de inciden este:
7
6
5
4
3
2
1
6 5 4 3 2 1
P
P
P
P
P
P
P
0 1 1 - 0 1 1 -
1 - 1 0 0 0 0
0 1 - 1 0 0 0
1 0 1 - 0 0 0
0 0 0 1 - 1 0
0 0 0 0 1 - 1
0 0 0 1 0 1 -
T T T T T T
W
1
1
1
1
1
1
1
1
1
]
1
.
Se poate vedea n matricea de inciden c elementul w
ij
reprezint
modificarea marcajului locului P
i
n urma declanrii tranziiei T
j
. Spre
exemplu elementul w
74
= -1 are semnificaia c declanarea tranziei T
4
extrage
o marc din locul P
7
.
Observaie: Matricea de inciden nu ofer nici o indicaie asupra
posibilitii de a declana o tranziie, deoarece este
independent de marcaj.
Unei secvene de declanri s i se asociaz un vector caracteristic S, a crui
component i este numrul de declanri ale tranziiei T
i
din secvena s. Se
poate observa c un vector caracteristic poate corespunde mai multor secvene
de declanri, dup cum nu pentru orice vector S cu elemente pozitive exist o
secvena de tranziii.
Dac o secven de declanri oarecare s, creia i s-a asociat vectorul
caracteristic S, este aplicat din marcajul M
i
, marcajul accesibil n care se
ajunge, M
k
, este dat de ecuaia fundamental:
M
k
= M
i
+ W S. (2.1)
n reeaua din figura 2.10, secvena de declanri
s = T
1
T
2
T
4
T
5
T
6
T
4
T
5
T
3
T
4
,
creia i corespunde vectorul de declansri
S = [1 1 1 3 2 2]
T
conduce n marcajul:
1
1
1
1
1
1
1
1
1
]
1
1
1
1
1
1
1
1
1
1
]
1
+
1
1
1
1
1
1
1
1
1
]
1
1
1
1
1
1
1
1
1
]
1
1
1
1
1
1
1
1
1
1
]
1
+
1
1
1
1
1
1
1
1
1
]
1
0
0
1
0
0
0
1
1 -
0
1
1 -
0
0
0

1
0
0
1
0
0
1
2
2
3
1
1
1
0 1 1 - 0 1 1 -
1 - 1 0 0 0 0
0 1 - 1 0 0 0
1 0 1 - 0 0 0
0 0 0 1 - 1 0
0 0 0 0 1 - 1
0 0 0 1 0 1 -

1
0
0
1
0
0
1
M
k
.
Se poate verific imediat, urmrind figura 2.10, c acesta este marcajul n
care se ajunge dup declanarea secvenei s = T
1
T
2
T
4
T
5
T
6
T
4
T
5
T
3
T
6
T
4
, creia i
corespunde vectorul de declanri S = [1 1 1 3 2 2]
T
.
Observaie Pentru orice secven de declanri exist un vector de
declanri, dar reciproca nu este totdeauna adevrat. Spre
exemplu vectorului S
1
=[3 2 3 3 2 3] nu i corespunde nici o
secven de declanri deoarece, funcionarea reelei nu
permite ca numrul de declanri ale tranziiei T
6
s fie mai
mare dect numrul de declanri ale T
5
ntruct autorizarea T
6
depinde de marcajul locului P
6
care crete numai prin
declanarea T
5
.
Definiie 2.25 Un vector X este P-invariant, dac
X
T
W = 0. (2.2)
Un astfel de vector are o proprietate interesant. Dac din marcajul inial
M
0
, cu secvena de declanri s, de vector caracteristic S, se ajunge n marcajul
accesibil M
k
definit prin:
M
k
= M
0
+ W S,
se obine
X
T
M
k
= X
T
M
0
+ X
T
W S,
iar din relaia (2.2) rezult c
X
T
M
k
= X
T
M
0
, (2.3)
pentru orice marcaj accesibil.
Relaia (2.3) arat c existena unui vector P-invariant este o proprietate
structural, deoarece nu depinde de marcaj. Un vector P-invariant corespunde
unui vector al ponderilor asociat locurilor. n general, ponderea asociat unui
loc poate fi un numr pozitiv sau nul, dar sunt de interes locurile cu ponderi
nenule.
Mulimea locurilor care au ponderi nenule, ntr-un invariant, formeaz o
component conservativ. ntr-o component conservativ, numrul de mrci
dat de ponderile locurilor din mulimea respectiv este constant.
Definiie 2.26: Un vector Y este T-invariant dac:
W Y = 0. (2.4)
Dac din marcajul M
i
exist o secven de declanri S, astfel nct
S = q Y,
unde q este un numr intreg pozitiv, atunci S duce napoi n marcajul M
i
.
Marcajul atins din M
i
este dat de ecuaia fundamental (2.1), n care se ine
seama de relaia (2.4), i rezult imediat c:
M
k
= M
i
.
Observaie Relaiile 2.3 i 2.4 permit determinarea invarianilor de marcaj
i respectiv a invarianilor de tranziii utiliznd algebra liniar.
Spre exemplu, pentru RP din figura 2.10 determinarea P-invarianilor se
face determinnd soluiile sistemului de ecuaii:
[ ] 0
0 1 1 - 0 1 1 -
1 - 1 0 0 0 0
0 1 - 1 0 0 0
1 0 1 - 0 0 0
0 0 0 1 - 1 0
0 0 0 0 1 - 1
0 0 0 1 0 1 -
m m m m m m m
7 6 5 4 3 2 1

1
1
1
1
1
1
1
1
1
]
1
.
Spaiul soluiilor acestui sistem este determinat de vectorii liniar
independeni ce determin P-invarianii:
- [0 0 0 1 1 1 0] ce determin invariantul {P
4
, P
5
, P
6
};
4
, P
5
, P
6
};
4
, P
5
, P
6
, P
7
};
1
, P
2
, P
3
, P
7
}.
Observaie: Toate locurile dintr-o component conservativ sunt mrginite.
2.4 Cteva tipuri de Reele Petri
Evoluia pe traiectoria de stare unui SDED modelat prin RP se produce ca
efect al declanrii tranziiilor. Declanarea unei tranziii (seciunea 2.1) se
produce dac aceasta este autorizat i - n anumite cazuri - s-a produs
evenimentul extern ce condiioneaz declanarea. Deci, tranziiile se pot
declana dendat ce sunt validate, dac nu exist condiionri externe, i n
acest caz RP modeleaz un SDED care evolueaz de manier autonom.
ntr-un astfel de sistem momentele la care se produce tranziia strii nu sunt
nici cunoscute, nici indicate. Reelele ce modeleaz aceast categorie de
sisteme se numesc RP autonome. Aceste reele sunt utilizate pentru analiza
calitativ (reelele utilizate ca exemple n seciunea 2..3 sunt RP autonome).
O RP neautonom descrie funcionarea unui sistem a crui evoluie este
condiionat de evenimente externe sau de timp. Evenimentele externe
corespund unei schimbri de stare a lumii exterioare (n opoziie, se poate
numi eveniment intern o schimbare de stare intern, o schimbare de marcaj).
2.4.1 Reele Petri sincronizate
Definiie 2.27: O Reea Petri sincronizat (notat RPS) este un triplet:
<R, E, Sinc>,
unde
- R este o RP marcat;
- E este o mulime de evenimente externe;
- Sinc: T E {e}, este o aplicaie pe mulimea tranziiilor
cu valori n mulimea evenimentelor reunit cu e, care este
evenimentul cu apariie permanent
Mulimea E a evenimentelor externe este:
E = {E
1
, E
2
,}.
Principiul de funcionare al RP sincronizate
n figura 2.11 a) , evenimentul extern E
3
este asociat tranziei T
1
. n acest
caz, se spune c tranziia T
1
este receptiv la evenimentul E
3
, T
1
este
autorizat, i declanarea ei se produce la apariia evenimentului E
3
, aa cum
se vede n cronograma corespunztoare.
n figura 2.11 b) tranziia T
2
2
, deoarece ea
este validat. T
2
este declanat n monentul apariiei evenimentului E
2
, dar
declanarea nu se produce dect o singur dat, chiar dac marcajul P
2
este 2 la
momentul producerii E
2
.
n figura 2.11 c) tranziia T
3
1
, deoarece ea
este validat, i se declaneaz n momentul n care se produce evenimentul E
1
.
n schimb, tranziia T
4
nu se declaneaz chiar dac este sincronizat tot cu E
1
(deoarece nefiind autorizat, nu este receptiv la E
1
).
Observaie: ntr-o RP autonom orice tranziie poate fi calificat prin
validat sau declanabil. Acest lucru nu este valabil pentru
RP sincronizate. O tranziie dintr-o RP sincronizat este
validat dac fiecare dintre locurile de intrare conine cel puin
o marc. Dac este validat, ea este declanabil la apariia
evenimentului care i este asociat, i este imediat declanat
(cu excepia cazului n care exist conflict ce nu permite
declanarea tuturor tranziiilor declanabile).
Evenimentul cu apariie permanent, notat e, nu este un eveniment extern.
n figura 2.12, evenimentul e este asociat tranziiei T
2
. Aceasta nseamn c
dendat ce tranziia T
2
va fi validat, ea fiind receptiv la e, se va declana
imediat. Pentru marcajul iniial M
0
=[1, 0] din figura a) RP sincronizat este
receptiv la E
3
. La producerea evenimentului E
3
, se declaneaz T
1
ce conduce
n marcajul [0, 1] pentru care este validat T
2
. Cum T
2
este receptiv la e, ea se
c)
P
1
T
1
P
2
E
3
a)
apariia E
3
marcajul P
1
marcajul P
2
1
0
1
0
b)
P
3
T
2
P
4
E
2
apariia E
2
marcajul P
3
2
1
marcajul P
4
1
0
0
P
5
T
3
P
6
E
1
T
4
P
7
apariia E
1
marcajul P
5
1
0
marcajul P
7
1
0
marcajul P
6
1
0
Figura 2.11 Principiu de declanare a unei tranziii sincronizate
declaneaz imediat i se revine n marcajul [1, 0]. Din acest marcaj se
ateapt o nou apariie a evenimentului E
3
pentru ca reeaua s evolueze din
nou.
Din acest exemplu se vede c marcajul [1, 0] este un marcaj stabil, n
vreme ce marcajul [0, 1] este un marcaj instabil deoarece din acest marcaj
exist o tranziie receptiv la e.
Definiie2.28: O RP sincronizat astfel nct fiecrei tranziii i este asociat
un eveniment extern (nici unei tranziii nu i este asociat
evenimentul cu apariie permanent, e) se numete Reea Petri
total sincronizat.
Definiie 2.29: Atunci cnd mai multe tranziii sunt declanabile simultan la
apariia unui eveniment XE{e}, se face o seven de
declanri a acestor tranziii (ntruct nu se pot declana
simultan), care se numete secven de simulare complet (pe
scurt SSC).
Se noteaz mulimea tranziiilor receptive la evenimentul X, pentru
marcajul M, cu:
T(X, M).
Definiie 2.30: S
k
este o secven de simulare complet (SSC) n raport cu
evenimentul X, pentru un marcaj M, dac ndeplinete
urmtoarele patru condiii:
- S
k
este o secven de declanri din marcajul M, ce conine
numai tranziii din mulimea T(X, M).
- orice tranziie din T(X, M) apare cel mult o dat n S
k
.
- orice secven S
h
obinut permutnd tranziii din S
k
este o
secven de declanri din marcajul M.
P
1
T
1
P
2
T
2
E
3
M
0
a)
apariia E
3
marcaje stabile
marcaje instabile
M
0
=
1
]
1
0
1
1
]
1
1
0
1
]
1
1
0
1
]
1
0
1
1
]
1
0
1
b)
Figura 2.12 Evenimentul cu apariie permanent, e
- nu exist nici o secven mai lung care s conin toate
tranziiile din S
k
i care s ndeplineasc cele trei condiii
anterioare.
O secven de declanri se noteaz cu
S
k
={T
1
T
2
T
a
}.
2.4.2 Reele Petri temporizate
O reea Petri temporizat permite descrierea unui sistem a crui
funcionare depinde de timp. De exemplu, ntre nceputul i sfritul unei
operaii se poate scurge un interval de timp. Dac o marc care se afl ntr-un
loc indic faptul c operaia se afl n curs, o RP temporizat permite s se in
seama de durata acestei operaii. Reelele Petri temporizate sunt utile pentru
evaluarea performanelor unui sistem. Exist n principal dou metode pentru
modelarea temporizrilor: fie temporizrile sunt asociate locurilor (n acest
caz, se spune c reeaua este o RP P-temporizat), fie temporizrile sunt
asociate tranziiilor (n acest caz, se spune c reeaua este T-temporizat).
2.4.2.1 Reele Petri P-temporizate
Fiecrui loc P
i
i este asociat o temporizare d
i
; eventual nul. n cele ce
urmeaz, se va considera cazul n care d
i
are valoare constant, dar n cazul
general, d
i
ar putea fi variabil.
Definiie 2.31: O reea Petri P-temporizat este un dublet:
- <R, Temp> astfel nct:
- R este o RP marcat;
- Temp: P Q ,Temp(P
i
) = d
i
, temporizarea asociat locului
P
i
.
Principiul de funcionare al RP P-temporizate
Dendat ce o marc este depus n locul P
i
, aceast marc trebuie s
rmn n acest loc cel puin pe durata d
i
. Se spune c marca este indisponibil
pe aceast perioad de timp. Dup scurgerea duratei d
i
, marca devine
diponibil. Aceast funcionare este ilustrat n figura 2.13. Declanarea
tranziiei T
1
are ca efect depunerea unei mrci n locul P
1
. Aceast marc
rmne indisponibil pe o durat de timp d
1
. n momentul n care aceast
marc devine disponibil, tranziia T
2
este validat. Cnd se declaneaz T
2
(nu
neaprat imediat ce este validat), o marc indisponibil este depus n P
2
,
.a.m.d.
Funcionarea unei RP P-temporizate
La momentul iniial, marcajul M
0
este dat de mrcile disponibile. La un
moment t oarecare, marcajul prezent M, este suma a dou marcaje M
d
i M
i
,
astfel nct M
d
este marcajul constituit din mrcile disponibile, iar M
i
este
marcajul dat de mrcile indisponibile. O tranziie este validat pentru marcajul
M = M
d
+ M
i
,
dac este validat pentru marcajul M
d
. Declanarea unei tranziii ntr-o RP P-
temporizat se face la fel ca ntr-o RP netemporizat, cu precizarea c la
declanarea tranziiei nu se extrag, din locurile de intrare dect mrcile
disponibile. Declanarea unei tranziii se produce pe un interval de timp de
durat nul. Dac o marc este depus ntr-un loc P
i
dup declanarea unei
tranziii care se produce la momentul de timp t, atunci aceast marc rmne
indisponibil pe intervalul de timp [t, t+d
i
].
Definiie 2.32: O RP P-temporizat funcioneaz la vitez maximal dac
orice tranziie se declaneaz dendat ce este validat.
Graful de marcaj al funcionrii la vitez maximal
Observaie: Un graf de marcaj pentru o RP P-temporizat nu poate fi
reprezentat dect pentru funcionarea la vitez maximal.
marc
indisponibil
marc
disponibil
P
1
P
2
T
1
T
2
T
3
d
1
d
2
P
1
P
2
T
1
T
2
T
3
d
1
d
2
P
1
P
2
T
1
T
2
T
3
d
1
d
2
P
1
P
2
T
1
T
2
T
3
d
1
d
2
marc indisponibil n P
1
(tranziia T
2
nu este validat)
marc disponibil n P
1
(tranziia T
2
este validat)
d
1
marc indisponibil n P
2
d
2
declanare T
1
declanare T
2
Figura 2.13 Disponibilitatea unei mrci
n graful de marcaj al funcionarii la vitez maximal, un marcaj
corespunde relaiei:
M = M
d
+ M
i
,
adic mrcile disponibile i cele indisponibile nu sunt distincte. Trecerea de la
marcajul M
1
la un marcaj M
2
este marcat T
j
/d
k
. Tranziia T
j
este cea a crei
declanare determin trecerea de la marcajul M
1
la marcajul M
2
, iar d
k
este
durata ntre momentul n care marcajul a fost atins i momentul n care are loc
declanarea tranziiei T
j
. n anumite cazuri, trecerea de la M
1
la M
2
se poate
face prin declanarea mai multor tranziii care sunt validate la acelai moment
de timp. n aceast situaie se folosete notaia {T
i
, T
j
,}/d
k
, pentru a indica
faptul c exist o declanare a tranziiilor T
i
T
j
ntr-o ordine oarecare.
n figura 2.14 b) este prezentat graful marcajelor funcionrii la vitez
maximal pentru marcajul M
0
= [1, 1]. Pentru acest marcaj T
1
i T
2
sunt
validate i sunt, deci, imediat declanate. Se atinge marcajul [1, 1]pentru care
ambele mrci devin indisponibile. La sfritul intervalului de timp d
1
=2 marca
t=0
M
0
a)
P
1
T
1
P
2
T
2
d
1
=2
d
2
=3
P
1
T
1
P
2
T
2
d
1
=2
d
2
=3
P
1
T
1
P
2
T
2
d
1
=2
d
2
=3
0< t 2 2< t 3
c)
b)
1
]
1
2
0
1
]
1
0
2
1
]
1
1
1
1
]
1
1
1
1
]
1
1
1
1
]
1
2
0
{T
1
T
2
}/0 T
2
/1
T
1
/2
[T
1
T
2
]/2
M
3
M
2
M
1
M
0
1
]
1
0
2
T
1
T
1
/0
T
2
T
2
/3
M
0
M
1
M
2
T
1
T
1
/2
Figura 2.14 Funcionarea la vitez maximal
(RP P-temporizat)
din P
1
devine disponibil i avem declanarea T
1
/d
1
= T
1
/2, ce conduce n
marcajul M
2
= [0, 2]. Una dintre cele dou mrci din P
2
devine indisponibil
pentru o durat d
2
, dar cea care era deja n P
2
rmne indisponibil numai pe
durata d
2
-d
1
= 1. Avem deci o tranziie marcat T
2
/(d
2
-d
1
) = T
2
/1 ntre M
2
i
M
3
. Dou uniti de timp mai trziu, cele dou marci vor deveni disponibile i
se va reveni la marcajul M
1
prin dubla declanare notat {T
1
, T
2
} / 2.
Figura 2.14 b) indic funcionarea ce se obine plecnd din marcajul iniial
M
0
=[2, 0]. Tranziia T
1
este validat prin cele dou mrci i ea este declanat
de dou ori la momentul 0. Dup aceea, dou mrci sunt tot timpul disponibile
la aceleai momente de timp, i vor fi dou declanri fie ale T
1
, fie ale T
2
, de
fiecare dat.
Observaie: Pe figura 2.14 b, se vede c marcajele M
0
, M
1
i M
3
corespund
aceluiai numr de mrci n fiecare loc. Ceea ce le difereniaz
(dar nu apare explicit n graful de marcaj al funcionrii la
vitez maximal) este durata indisponibilii reziduale a
fiecrei mrci n momentul n care este atins un marcaj.
n figura 2.15 este explicitat aceast informaie indicnd ntre paranteze
duratele indisponibilitii reziduale ale diferitelor mrci. Aceast durat este 0
pentru toate mrcile marcajului iniial (dac aceast ipotez nu ar fi adevrat
atunci ar fi indicate valorile corespunztoare).
Observaie: Se poate remarca faptul c toate funcionrile reprezentate n
grafurile de marcaj din figurile 2.14 b), 2.14 c) i 2.15 ajung la
un regim periodic dup un anumit interval de timp. Aceast
proprietate are un caracter de generalitate.
Proprietate: Fie o RP P-temporizat ale crei temporizri sunt numere
raionale. Funcionarea la vitez maximal a acestei reele
conduce la o funcionare periodic, dup un interval finit,
pentru orice marcaj iniial, dac reeaua este mrginit.
Figura 2.15 Indicarea duratelor indisponibilitilor reziduale
1
]
1
) 0 ( 1
) 0 ( 1
{T
1
T
2
}/0
1
]
1
) 3 ( 1
) 2 ( 1
1
]
1
) 3 , 1 ( 2
0
1
]
1
) 2 ( 1
) 2 ( 1
T
1
/2
T
2
/1
{T
1
T
2
}/2
M
0
M
1
M
2
M
3
Definiie 2.33: O reea Petri P-temporizat se spune c funcioneaz la vitez
proprie dac orice marc nu rmne ntr-un anumit loc dect
pe durata sa de indisponibilitate.
Altfel spus, funcionarea la vitez proprie este o funcionare la vitez
maximal astfel nct nici o marc nu rmne disponibil. n cazul general, o
marc poate rmne disponibil un anumit timp dac ea nu este suficient
pentru a valida o tranziie. n acest caz, ea trebuie s atepte ca alte mrci s
devin disponibile, n alte locuri. Funcionarea la vitez maximal a RP P-
temporizate din figura 2.14 este o funcionare la vitez proprie.
Pentru analiza regimului staionar, sunt interesante frecvenele de
declanri ale tranziiilor.
Definiie 2.34: Frecvena de declanare, F
j
, a unei tranziii, T
j
, este numrul
mediu de declanri ale T
j
pe unitatea de timp, dup ce s-a
ajuns n regim staionar.
Se consider RP P-temporizat din figura 2.14, funcionnd la vitez
proprie. Numrul mediu de mrci din P
1
(n regim staionar) este egal cu
produsul d
1
F
2
deoarece mrcile intr n P
1
cu frecvena F
2
i rmn acolo pe o
durat de timp d
1
. De asemenea, numrul mediu de mrci din P
2
este d
2
F
1
.
Suma celor dou numere este un invariant, deci avem:
d
1
F
2
+ d
2
F
1
= M
0
(P
1
) + M
0
(P
2
).
n acest exemplu, se observ c
F
1
= F
2
.
Cum d
1
=2 i d
2
=3, rezult c:
5F
1
= M
0
(P
1
) + M
0
(P
2
) = 2.
De unde, avem c:
F
1
= F
2
= 2/5,
rezultat ce rmne coerent cu figura 2.14 b) i 2.14 c). n figura 2.14 b) se vede
c ciclul M
1
M
2
M
3
M
1
dureaz 5 uniti de timp i sunt dou
declanri T
1
i dou declanri T
2
pe durata unui ciclu. n figura 2.14 c) ciclul
este M
1
M
2
M
1
, are aceeai durat i sunt, de asemenea, dou declanri
pentru fiecare dintre cele dou tranziii pe durata unui ciclu.
n cazul general, avem relaiile urmtoare:
1) O relaie legnd temporizrile, frecvenele i marcajul iniial, care
este asociat fiecrui invariant liniar al locurilor. Aceast relaie este n
general o inegalitate, deoarece frecvenele reale pot fi inferioare celor
ce corespund funcionrii la vitez proprie. Aceast relaie se poate
scrie sub forma:
X
T
.D.W.F X
T
.M
0
, unde
- X este un invariant de marcaj,
- D o matrice diagonal astfel nct D
ii
= d
ii
este temporizarea
asociat locului P
i
,
- W este matricea de inciden,
- F este vectorul frecvenelor de declanri,
- M
0
este marcajul iniial.
2) O relaie ntre frecvenele de declanri ale diverselor tranziii
corespunztoare fiecrui invariant de declanri, care se poate scrie
sub forma:
W .Y = 0, unde
- Y este un invariant de tranziii.
3) Din toate aceste relaii se deduc frecvenele de declanri
corespunztoare funcionrii la vitez maximal (cnd problema are
soluie).
Determinarea frecvenelor de declanri ale tranziiilor permit evaluarea
anumitor performane ale sistemului: declanarea unei tranziii ar putea
corespunde, de exemplu, ncheierii unui task, marcajul mediu al unui loc,
numrului mediu de clieni n ateptare pentru a fi servii.
Exemplul 2.3
Se consider RP P-temporizat din figura 2.16. Se cere s se determine
frecvenele de declanri ale tranziiilor T
1
i T
2
.
Funcionarea la vitez proprie n bucla P
2
P
3
.
Sunt doi invariani liniari de marcaj care sunt :
M(P
1
) + M(P
2
) = 2, i
M(P
2
) + M(P
3
) = 1.
Din cele dou relaii rezult cele dou inecuaii:
d
1
F
2
+ d
2
F
1
2 (2.5)
d
3
F
2
+ d
2
F
1
1. (2.6)
Inegalitile ar deveni egaliti dac reeaua ar funciona la vitez
proprie. Exist un singur invariant de tranziii (corespunztor secvenei
repetitive minimale) din care se deduce:
F
1
= F
2
. (2.7)
Pentru d
1
= 2, d
2
= 3 i d d
3
= 1, din (2.5), i (2.7) rezult c:
F
1
2/5.
Din relaiile (2.6) i (2.7) rezult c:
F
1
1/4.
Din cele dou rezult imediat c:
F
1
= min (2/5, 1/4) = 1/4.
2.4.2.2 Reele Petri T-temporizate
ntr-o RP temporizat, exist dou posibiliti de modelare a temporizrilor:
atandu-le fie locurilor, fie tranziiilor. Dac n RP temporizrile sunt ataate
tranziiilor, atunci reeaua se spune c este T-temporizat. Reelele Petri P-
temporizate i T-temporizate sunt echivalente. Din acest motiv se poate trece
de la un model la altul.
Definiie 2.35: O reea Petri T-temporizat este un dublet:
<R, Temp>,
astfel nct:
P
3
T
2
P
2
T
1
P
1 d
1
=2
d
3
=1
d
2
=3
Figura 2.16 Frecvene de declanri
- R este o RP marcat,
- Temp: T Q
+
, Tempo (T
j
) = d
j
este temporizarea asociat
tranziiei T
j
.
Principiul de funcionare al RP T-temporizate
O marc poate avea dou stri:
- poate fi rezervat pentru declanarea unei tranziii T
j
- poate fi nerezervat.
Funcionarea reelei T-temporizate este ilustrat cu ajutorul figurii 2.17.
Dendat ce tranziia T
1
este declanat, este depus o marc n locul P
1
, ceea
ce conduce la validarea tranziiei T
2
. Din acest moment, se va putea decide
declanarea T
2
. n momentul n care se decide declanarea, marca necesar
acestei declanri este rezervat. Dup scurgerea duratei d
2
, din momentul
deciziei de declanare, tranziia este efectiv declanat. Marca rezervat pentru
declanarea tranziiei este extras din P
1
i o marc nerezervat este depus n
P
2
, .a.m.d.
marc
rezervat
marc
nerezervat
P
1
P
2
T
1
T
2
T
3
d
1
d
2
P
1
P
2
T
1
T
2
T
3
d
1
d
2
P
1
P
2
T
1
T
2
T
3
d
1
d
2
P
1
P
2
T
1
T
2
T
3
d
1
d
2
marc nerezervat n P
1
(tranziia T
2
validat)
marc rezervat n P
1
(pentru declanarea T
2
)
d
2
marc nerezervat n P
2
(sfrit de) declanare T
1
decizie de declanare T
2
(sau nceput de declanare T
2
)
d
3
d
3
d
3
d
3
(sfrit de) declanare T
2
Figura 2.17 Principiul de funcionare al RP T-temporizate
Fie t momentul de timp la care este decis declanarea tranziiei T
j
i t+d
j
momentul de timp la care declanarea este efectiv realizat. Aceast abordare
are avantajul de a prezenta declanarea pe o durat nul ceea ce este coerent
cu definiia 2.2, n care se consider c declanarea unei tranziii este
indivizibil. De multe ori se utilizeaz un vocabular mai sugestiv: t este
nceputul declanrii T
j
i t+d
j
este sfritul declanrii T
j
. Unii autori spun
chiar c ntre t i t+d
j
mrcile rezervate sunt n tranziie.
Pentru o RP T-temporizat se pot, de asemenea, defini o funcionare la
vitez maximal (dendat ce o tranziie este validat, mrcile necesare
declanrii ei sunt rezervate) i o funcionare la vitez proprie (dendat ce o
marc este depus ntr-un loc, ea este rezervat pentru declanarea unei
tranziii).
Ca i n cazul RP P-temporizate, pentru RP T-temporizate se pot calcula
frecvenele de declanri ale tranziiilor n regim staionar. Pentru calculul
frecvenelor de declanari se folosesc aceleai relaii de calcul, cu observaia
c numrul mediu de mrci ntr-un loc P
i
este este cel puin egal cu produsul
dintre frecvena de declanri a tranziiei sale de ieire i durata acestei
tranziii, dac tranziia de ieire a locului este unic, sau cu suma produselor
T
j
d
j
unde T
j
P
i
dac mulimea locurilor de ieire din P
i
, P
i
,are mai mult de
un element. Pentru o RP t-temporizat trebuie contabilizate mrcile care ies
dintr-un loc, deoarece timpul de edere n locul respectiv depinde de tranziia
de ieire.
Observaie: Dup ce n definiia RP s-a fcut precizarea c declanarea
unei tranziii are o durat nul, modelul P-temporizat ar prea
mai logic dect modelul T-temporizat. Totui, cel de-al doilea
model se justific dac fiecare operaie care are o anumit
durat se asociaz unui loc cu o singur tranziie de intrare i o
singur tranziie de ieire. n acest caz, se obine un model mai
compact utiliznd o RP T-temporizat.
2.4.3 Reele Petri stochastice
ntr-o RP temporizat, se asociaz o durat fix fiecrui loc sau fiecrei
tranziii a reelei. Se obin astfel, modele care sunt bine adaptate pentru studiul
sistemelor n care duratele operatorii sunt fixe. Un exemplu ar putea fi
sistemele de producie unde timpul de lucru al unei maini pentru a trata o
pies este constant. Pe de alt parte, exist fenomene care nu pot fi bine
modelate cu durate constante. Acesta este cazul, spre exemplu, al timpului de
bun funcionare (ntre dou defectri) al unei maini. Aceast durat poate fi
modelat printr-o variabil aleatoare. n astfel de cazuri se pot utiliza Reele
Petri stochastice.
n RP stochastice se asociaz declanrii fiecrei tranziii un timp aleatoriu.
Ipoteza cea mai frecvent este c temporizrile sunt distribuite dup o lege
exponenial. Marcajul M(t) al unei RP stochastice (nu al unei RP cu
temporizri stochastice) este atunci un proces markovian omogen i, deci,
oricrei RP stochastice i se poate asocia un lan Markov omogen.
Analiza unei RP stochastice face apel la metodele de analiz cunoscute.
Rezultatele privind invarianii de marcaj i de tranziii sunt uor generalizabile
la RP stochastice. Pentru aceste reele sunt interesante conservarea marcajului
mediu i frecvenele medii de declanare n regim permanent.
2.4.3.1 Definirea modelelor RP stochastice
Se consider staia de producie din figura 2.18, compus din dou maini,
un stoc de intrare i un stoc de ieire. Staia produce piese prelucrnd piesele
brute din stocul de intrare care sunt depuse n stocul de ieire. Funcionarea
acestui sistem poate fi descris de RP din figura 2.18 b). Se presupune c
stoc de intrare
stoc de intrare
Fiecare dintre maini poate fi
operaional sau n pan
a)
b)
P
1
T
1
P
2
P
3
P
4
T
2
T
3
stoc de
ieire
stoc de
intrare
maini n
pan
3
maini
operaionale
Figura 2.18 Exemplu de modelare a penelor ntr-un
sistem de producie
timpul de servire al unei maini este o variabil aleatoare, cu o distribuie dup
o lege exponenial , a crei medie este
1
. Pornind de la acest timp mediu,
1
,
se definesc ratele de declanri,
1
= 1/
1
, ale tranziiei T
1
din figura 2.18 b).
Aceast rat semnific faptul c exist o probabilitate
1
.dt de declanare a
tranziiei T
1
ntre momentele t i t+dt, tiind c tranziia T
1
este validat la
momentul t, i c marcajul nu permite dect o singur declanare a tranziei
(acesta este cazul reelei din figura 2.18 b) deoarece exist o singur marc n
locul P
3
). O main este susceptibil de a cdea n pan. Intervalul de timp de
bun funcionare ntre dou pene este o variabil aleatoare; se noteaz cu
2
rata de pan a unei maini. Marcajul reelei din figura 2.18 arat c o main
este n pan i o main este operational. O main n pan este reparat dup
un interval de timp variabil, depinznd, spre exemplu, de gravitatea
defeciunii, fie
3
rata de reparare.
Pentru a defini RP stochastice, vor fi prezentate n continuare dou astfel de
modele prin intermediul figurii 2.19. n fiecare dintre cele dou exemple exist
o situaie de conflict. Definirea fiecrui model este legat de interpretarea
conflictului.
n RP din figura 2.19.a) exist un conflict ntre tranziiile T
1
i T
2
, deoarece
declanrile lor depind de marca din P
1
. Declanarea T
1
se produce la apariia
client n curs
de servire
server
operaional
sfrit de
servire
server n
pan
P
1
T
1
T
2

2
1
client gata
pentru a fi
de servit
staia 1
liber
staia 1
n lucru
staia 2
n lucru
P
1
T
1
T
2

2
1
staia 2
liber
b)
a)
Figura 2.19 a) RP stochastic b) RP cu temporizare stochastic
evenimentului sfrit de servire, iar declanarea T
2
, la apariia evenimentului
server n pan. Tranziia declanat va corespunde, deci, evenimentului ce se
va produce primul. Durata de servire a unui client este o variabil aleatoare D
1
(de medie 1/
1
) i durata de bun funcionare a serverului pornind din marcajul
P
1
este o variabil aleatoare D
2
(de medie 1/
2
). Numrul d
j
reprezint o
realizare a variabilei D
j
. Dac d
1
<d
2
, atunci se va declana T
1
, dac d
1
>d
2
,
atunci se va declana T
2
.
n figura 2.19.b) exist, de asemenea, conflict ntre tranziiile T
1
i T
2
, dar
este de natur diferit. Marca P
1
corespunde unui job (client) ce poate fi tratat
fie de ctre staia 1, fie de ctre staia 2. Trebuie, deci, fcut alegerea staiei
ce va trata acest client (criteriul nu este n mod necesar durata de servire,
aceast durat putnd fi, de altfel, necunoscut la momentul lurii deciziei).
Dac se alege staia 1, durata de servire va fi d
1
, care este o variabil aleatoare
de medie 1/
1
.
RP din figura 2.19.a) corespunde unei RP autonome a crei evoluie este
caracterizat de variabile aleatoare, i aceast reea este o RP stochastic.
Exemplul din figura 2.19.b) corespunde unei RP T-temporizate ale crei durate
de declanari sunt stochastice.Dendat ce staia a fost aleas, mrcile
corespunatoare sunt rezervate; este o RP cu temporizare stochastic.
nainte de a defini o RP stochastic i o RP cu temporizare stochastic, se
introduce noiunea de n-validare. Se consider exemplul din figura 2.18.
Pentru marcajul M
1
= [3,1,1,1] al RP din figura 2.18.b), tranziiile T
1
, T
2
i
T
3
sunt validate, i declanabile la ratele
1
,
2
i
3
. Dac este declanat
tranziia T
3
, se atinge marcajul M
2
= [3,1,2,0]. Din M
2
nu sunt validate dect
T
1
i T
2
, dar ele sunt declanabile cu ratele 2
1
i respectiv 2
2
. Cele dou
maini fiind operaionale , timpul mediu de servire este mprit la doi; ceea ce
corespunde faptului c exist suficiente mrci n P
1
i P
3
pentru a valida de
dou ori tranziia T
1
, ntruct M
2
(P
3
) = 2 i M
2
(P
1
)>2 (se spune n acest caz, c
tranziia T
1
este 2-validat). De manier similar, T
2
este 2-validat
(probabilitatea ca o main s cad n pan, ntre momentele t i t+dt este
2.
2
.dt).
Definiie 2.36: a) ntr-o RP ordinar T
j
este n-validat dac:
min
i
(M(P
i
)) = n, P
i
T
j
.
b) ntr-o RP generalizat T
j
este n-validat dac:
n min
i
(M(P
i
)) / W(P
i
,T
j
)) < n+1, P
i
T
j
,
unde, W(P
i
,T
j
) este ponderea arcului de la P
i
la T
j
.
Definiie 2.37: O Reea Petri stochastic este o RP autonom n care se
asociaz o temporizare aleatoare d
j
fiecrei tranziii T
j
, i care
se comport conform algoritmului 2.1.
Algoritmul 2.1 Interpretarea unei RP stochastice
Pas 1. Iniializarea marcajului. Calendarul termenului limit conine t=0.
Pas 2. Fie X = {T
1
, T
2
, ,T
j
,} mulimea tranziiilor validate.
Pas 3. Pentru fiecare tranziie T
j
din mulimea X, se calculeaz durata d
j
. Dac
rata de declanare asociat T
j
este
j
, i T
j
este n-validat, atunci
declanarea ei se face cu o rat n.
j
.
Pas 4. Fie
d
m
= min(d
1
, d
2
, , d
j
,) i T
m
tranziia corespuztoare.
Se nlocuiete t cu t+d
m
n calendarul termenului limit.
Pas 5. Se declaneaz T
m
la momentul t. Pas2.
Definitie 2.38: O RP cu temporizare stochastic este o RP T-temporizat ce
funcioneaz la vitez maximal, n care se asociaz o
temporizare aleatoare fiecrei tranziii.
Observaie: O RP stochastic i o RP cu temporizare stochastic au exact
acelai comportament dac nu exist conflict efectiv.
Pentru analiza unei RP, se pot utiliza dou abordri complementare:
- prima abordare este cea a proprietilor de conservare a RP- calculul
invarianilor de marcaj i a invarianilor de tranziii- ce conduc la
relaii de conservare a marcajelor i a ratelor de declanri;
- cea de-a doua abordare const n construcia grafului marcajelor
accesibile ale RP autonome sub-adiacent RP stochastice i etichetarea
fiecrui arc cu o rat de declanri ce depinde de rata asociat
tranziiei i marcajelor locurilor din amonte de aceast tranziie;
analiza RP stochastice conduce la analiza unui proces Markov omogen
cu un spaiu al strilor discret, n timp continuu. Aceast analiz este
posibil numai n cazul n care reeaua autonom sub-adiacent este
mrginit.
2.4.4 Reele Petri colorate
Reelele Petri sunt instrumente utile pentru modelarea proceselor n care
apar aspecte de concuren, sincronizare i paralelism. n astfel de sisteme se
ntmpl deseori s existe aspecte repetitive. Aspectele repetitive se refer
uneori la pri ale procesului care au descriere identic. Acestea sunt modelate
prin aceeai RP sau poriune de reea care se repet de attea ori cate poriuni
identice sunt. Dac numrul acestor poriuni identice din proces este mare,
crete dimensiunea modelului care poate ajunge la dimensiuni care s l fac
greu de exploatat.
ntr-o RP, informaia n general este purtat de loc. Prezena unei mrci
poate, spre exemplu, s modeleze o main disponibil. Dac locul este liber,
aceasta nseamn c maina este ocupat. Mai multe mrci ntr-un loc pot avea
semnificaia numrului de piese identice dintr-un stoc. Dac se dorete s se
mbogeas informaia coninut de un loc din reeaua Petri trebuie s existe o
modalitate de a distinge ntre mrcile diferite din acelai loc. Pentru aceasta, se
asociaz fiecrei mrci din locul respectiv, un identificator numit culoare i
informaia este reprezentat de mulimea loc-culoare. Rezult astfel un nou
instrument de modelare: reelele Petri colorate. ntr-o RP colorat fiecare
tranziie poate fi declanat n mai multe moduri, reprezentate de diferitele
culori de declanri care sunt asociate tranziiei.
Definiie 2.39: O Reea Petri colorat este un cvintuplu:
R = <P, T, W, M
0
, C>,
unde:
- P este mulimea locurilor,
- T este mulimea tranziiilor,
- C = {C
1
, C
2
, } este mulimea culorilor,
- M
0
este marcajul iniial,
- W este funcia de ponderare a arcelor relativ la culorile de
declanri.
O RP colorat se difereniaz de o RP prin adugarea mulimii de culori. O
culoare
C
k
= <c
k1
, c
k2
, c
kn
>
se va nota fie global C
k
, fie prin n-uplul care o definete.
Ca orice RP, reeaua petri colorat are dou tipuri de noduri: locuri i
tranziii, legate prin arce orientate.
Locurile. Un loc poate conine mrci colorate, mai multe mrci de aceeai
culoare se pot gasi ntr-un loc la un moment dat, aa cum este cazul reelei din
figura 2.20. n aceast figur, locul P
1
conine tei mrci, dou marci <v> i
o marc <o>.
Tranziiile. Fiecrei tranziii i este asociat o mulime de culori, fiecare dintre
culori indic o posibilitate distinct de declanare. Tranziia T
1
din figura 2.20
se poate declana n raport cu culoarea n culoarea <v> sau n culoarea
<o>.
Arcele. Ponderea unui arc este dat de funcia W ca n definiia 2.1 a RP, cu
deosebirea c, pentru RP colorate ea stabilete o coresponden ntre fiecare
culoare a tranziiei i culorile locurilor din amonte sau aval de tranziie.
Funcia de ponderarea are n cazul RP colorate un argument suplimentar care
este culoarea C
k
de declanare a tranziiei T
j
. De asemenea, W(P
i
, T
j
/C
k
) i
W(T
j
/C
k
, P
i
), corespund, n cazul general, unei combinaii liniare de culori de
mrci relative la locul P
i
. n figura 2.20:
W(P
1
, T
1
/<v>) = f(<v>) = + <v>.
Se poate produce o transformare a culorilor odat cu declanarea unei
tranziii. Astfel declanarea T
1
n raport cu culoarea extrage o marc de de
culoarea <v> din P
1
i adaug o marc de culoarea . n P
2
.
Evoluia marcajului. Marcajul M(P
i
) al unui loc P
i
reprezint numrul de mrci
de fiecare culoare din locul P
i
. Marcajul iniial al RP colorate din figura 2.20
este dat de marcajul locurilor P
1
i P
2
, unde:
M(P
1
) = 3 + 2<v> + <o>, i
M(P
2
) = 0.
Suma simbolic M(P
1
) semnific 3 mrci de culoarea , 2 mrci de
culoarea <v> i o marc de culoarea <o>.
Fie C(T
j
) mulimea culorilor asociate tranziei T
j
. Aceast tranziie poate fi
declanat n raport cu una dintre aceste culori (numrul de culori din C(T
j
)
corespunde numrului de tranziii are reelei Petri echivalente necolorate care
au fost grupate ntr-o singur tranziie n RP colorat). Fie C
k
o culoare
Figura 2.20 O poriune dintr-o RP colorat

 <v>
<v> <o>

P
1
T
1
P
2
> < + > < > <

> < + > < > <
> < > <
o 2 b ) o ( f
v b ) v ( f
v ) b ( f
f
g
{, <v>, <o>}
> < > <

> < + > < > <
> < > <
o 2 ) o ( g
b o ) v ( g
b ) b ( g
oarecare din C(T
j
) i M marcajul curent al RP colorate. Tranziia T
j
este
validat pentru culoarea C
k
din marcajul M dac i numai dac numrul de
mrci coninute de orice loc P
i
care are T
j
ca tranziie de ieire, este mai mare
cel puin egal cu ponderea arcului P
i
, T
j
, adic:
P
i
T
j
, M(P
i
) W(P
i
, T
j
/C
k
),
unde W(P
i
, T
j
/C
k
) este imaginea culorii C
k
prin funcia pondere a arcului ce
leag locul P
i
de tranziia T
j
.
Spre exemplu, n figura 2.20, tranziia T
1
este validat n raport cu culoarea
 deoarece f() = <v> i locul P
1
conine dou mrci <v> (una singur ar
fi fost suficient). n schimb, T
1
nu este validat n raport cu culoarea <o>
deoarece ar fi trebuit ca n P
1
s fie o marc i dou mrci <o>, i P
1
nu
conine dect o singur marc de culoare <o>.
La declanarea unei tranziii T
j
validat n raport cu culoarea C
k
, notat
T
j
/C
k
, se efectueaz simultan urmtoarele dou operaii:
1) se extrag din fiecare loc P
i
de intrare n T
j
o cantitate de mrci egal cu
W(P
i
,T
j
/C
k
);
2) se depun n toate locurile P
m
de ieire din T
j
o cantitate de marci egal cu
W(T
j
/C
k
, P
m
).
Dac M este marcajul obinut dup declanarea tranziiei T
j
/C
k
, acesta se
poate deduce din marcajul M dup relaia urmtoare:
P
i
, M(P
i
) = M(P
i
) + W(T
j
/C
k
, P
i
) W(P
i
, T
j
/C
k
).
n exemplul din figura 2.20, tranziia T
1
este validat n raport cu culoarea
 i, deci, ea poate fi declanat n raport cu aceast culoare. Declanarea
T
1
/ const n
1) extragerea unei mrci de culoare <v> din P
1
, deoarece f()= <v>;
2) depunerea unei mrci n locul P
2
, deoarece g() = .
Reelele Petri colorate sunt instrumente utile pentru modelarea sistemelor
n care exist mai multe pri ce au o funcionare identic, i sunt utilizate, n
general, pentru micorarea dimensiunii modelului. Pentru determinarea
proprietilor acestei clase de RP, se pot utiliza metodele generale.
Determinarea proprietilor acestor RP utiliznd graful de marcaj nu este o
abordare realist dat fiind dimensiunea impresionant la care poate ajunge
graful de marcaj. Utilizarea algebrei liniare este posibil, dar destul de
complicat. Determinarea sistematic a proprietilor este destul de dificil, n
schimb verificarea proprietilor despre care se tie c trebuie s existe, este
mult mai simpl. Plecnd de la caietul de sarcini, se pot determina, intuitiv,
invarianii de marcaj. Verificarea c aceati invariani exist n model, permite
validarea descrierii.
2.5 Exemplu de modelare cu RP a unui proces real
Pentru a modela aspectele repetitive legate de fabricarea mai multor
exemplare ale aceluiai produs, se consider exemplul din fig. 2.21, n care se
prezint organizarea unui sistem de asamblare (pe scurt, SA) simplu, n care se
asambleaz produse din dou componente elementare, a i b.
n alctuirea obiectelor intervin paletele P, x, y, i z precum i doi efectori
(de exemplu 2 prehensori manipulai de un singur robot sau de doi roboi).
Componentele a i b se iau din staii de ncrcare pe paletele x i y, i produsul
final a+b este depus pe paleta z ntr-o staie de descrcare.
Modelul RP al sistemului de asamblare, prezentat n fig 2.21, este dat n
fig.2.22. Sistemul considerat const n dou staii de lucru P
1
i P
2
, deservite
respectiv de roboii R
1
i R
2
. n reeaua Petri din figura 2.22, un loc codific un
obiect localizat, ceea ce face ca, spre exemplu, locurile A i B s fie ataate
aceluiai obiect a+EF
1
, dar care nu are aceeai poziie n cadrul SA; o tranziie
codific un task, astfel nct:
- robotul R1 dotat cu prehensorul EF1 execut aciunile: t
1
,t
2
,t
5
,t
6
,t
17
i t
18
;
- aciunea t
7
este executat de banda transportoare;
- robotul R2 dotat cu prehensorul EF2 execut celelalte aciuni.
Se remarc, pe figura 2.22 existena a 6 cicluri, corespunztoare celor
6 tipuri de resurse utilizate: a, b, P, x, y i z. Un ciclu este o secven de locuri
ataate unor obiecte ce conin o anumit resurs, secven care se va parcurge
n mod repetat pentru fabricarea mai multor exemplare de produs.
R1 R
2
a,x
b,y (a+b),z
P1
P2
post ncrcare post ncrcare
post
descrcare
Figura 2.21 Exemplu de sistem de asamblare pentru doi constitueni
banda
transportoare
Ciclurile corespunztoare paletelor x, y, z sunt reprezentate incomplet,
nedorindu-se detalierea proceselor de ncrcare a componentelor de intrare i
de descrcare a produsului finit. Evidenierea resurselor i a ciclurilor ataate
lor permite determinarea componentelor conservative i a invarianilor de
marcaj ai reelei. De exemplu, efectorul EF
1
se gsete, la un anumit moment,
doar n componena unuia dintre obiectele ataate locurilor A, B, C sau D i
deci numai unul dintre aceste obiecte poate exista la un moment dat. Avem
deci componenta conservativ {A, B, C, D} i invariantul de marcaj:
m(A)+m(B)+m(C)+m(D) = 1
n situaiile n care exist r resurse de acelai tip, valoarea 1 este nlocuit
cu r. De exemplu, dac n sistemul nostru am avea r palete de acelai tip, am
obine invariantul de marcaj:
m(E)+m(F)+m(G)+m(H)+m(I)+m(J)+m(K)+m(L) = r
n cazul considerat, r = 1. Modelarea unui numr r de resurse de acelai tip
se traduce printr-un anumit marcaj iniial. S mai remarcm c, n funcie de
structura reelei, mai exist i alte componente conservative, neasociate
ciclurilor aferente resurselor, de exemplu, n cazul considerat:
m(E)+m(F)+m(G)+m(H)+m(I)+m(M)+m(K)+m(L) = r
Oricum, fiecare loc al reelei este arondat unei resurse i deci avem
demonstraia faptului c reeaua este mrginit.
G
t8
t9
x
x+a
EF1
x+a+EF1
a+EF1
a+EF1
P
P
a+EF1+P
EF1
a+P a+P
b+y
b+y+EF2
y
b+EF2
b+EF2
a+P+b+EF2
EF2
a+P+b
a+P+b+EF2
a+b+EF2
a+b+EF2
z
a+b+EF2+z
EF2
a+b+z EF2
Figura 2.22 RP corespunztoare procesului de asamblare pentru
produsul cu dou componente
A
B
C
D
E
F
H I
J
K L
M
t1
t2
t3
t4
t5 t6
t7
t10 t11
t12
t13
t14
t15
t16
t17
t18
Execuia unei aciuni (modelate ca tranziie a RP) se produce cnd sistemul
de comand va da ordinul de declanare a tranziiei respective. Cum
declanarea tranziiilor depinde de evenimente externe RP, avem de a face cu
RP neautonome.
De remarcat, n ncheierea prezentrii, c pentru un exemplu foarte simplu
(asamblarea a doi constitueni), s-a obinut deja o RP de o complexitate destul
de ridicat.

Retele Petri

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Retele Petri

Încărcat de

Drepturi de autor:

Formate disponibile

CAPITOLUL 2

Modelarea sistemelor dinamice cu evenimente

> < + > < > <

> < > <

S-ar putea să vă placă și