Modelare fluxurilor de activitati bazate pe reele Petri

Introducere
Creterea n complexitate a sistemelor industriale moderne, precum producia,
controlul procesului, sisteme de comunicaii etc., a indus apariia a numeroase probleme privind
dezvoltarea acestora Este binecunoscut faptul c fluxul n procesul de modelare poate contribui
substanial la timpul i costul de dezvoltare. Chiar i eficiena operaional poate fi afectat. Din
acest motiv, o atenie special trebuie acordat corectitudinii modelor care sunt folosite la
toate nivelurile de planificare.
Ca unelte grafice i matematice, reelele Petri asigur un mediu uniform pentru modelare,
analiz formal i design al sistemelor cu evenimente discrete. Unul dintre principalele avantaje
al folosirii reelelor Petri l constituie faptul c acelai model este folosit att pentru analiza
proprietilor comportamentale i evaluarea performanelor, ct i pentru construcia sistematic
a simulatoarelor i controlerelor cu evenimente discrete. Dezvoltarea lor ulterioar a fost uurat
de faptul c reelele Petri pot fi folosite pentru modelarea unor propriet i precum sincronizarea
proceselor, evenimente asincrone, operaii concurente, rezolvarea conflictelor sau partajarea
resurselor. Aceste proprieti caracterizeaz sistemele cu evenimente discrete care includ
sistemele automate industriale, sistemele de comunicare i sistemele bazate pe calculator. Toate
acestea transform reelele Petri ntr-o unealt promitoare i o tehnologie pentru aplicaii n
automatizri industriale.
Ca unealt grafic, reelele Petri asigur un puternic mediu de comunicare ntre utilizator
(de regul, inginer) i client. Ca unealt matematic, un model de reea Petri poate fi descris de
un set de ecuaii lineare algebrice sau de alte modele matematice care s reflecte comportamentul
sistemului
Validarea modelului prin simulare poate doar produce un set limitat de stri ale sistemului
modelat, i astfel poate arta doar prezena (nu i absena) erorilor din model i specificaiile sale
de baz. Abilitatea reelelor Petri de a verifica formal modelul este important n mod special
pentru sistemele n timp real critice din punct de vedere al securitii, precum sistemele de
control al traficului aerian, sistemele de control al traficului feroviar, sistemele de control al
reactoarelor nucleare etc. Reelele Petri au fost folosite pentru modelarea sistemelor de timp real
tolerante la defectare i critice din punct de vedere al securitii, pentru detectarea erorilor i
pentru monitorizarea proceselor.

Un domeniu de succes l constituie aplicarea reelelor Petri n modelarea controlerelor

secveniale. Controlerele logice programabile (PLC) sunt folosite n mod uzual pentru controlul
secvenial al sistemelor automate. Ele sunt proiectate folosind diagrame logice scar (ladder
logic diagrams), care sunt cunoscute ca fiind dificile de depanat i modificat.
Reele Petri au fost folosite extensiv i n dezvoltri software. Utilizarea n acest domeniu
s-a concentrat pe modelarea i analiza sistemelor software, iar cea mai complex dezvoltare a
implicat folosirea reelelor Petri colorate. S-a demonstrat c acest tip de reele Petri este un
limbaj folositor pentru proiectarea, specificarea, simularea, validarea i implementarea sistemelor
software complexe.
Folosirea modelelor care ncorporeaz funcii de timp cu distribuie probabilistic permit
obinerea ratelor de producie pentru modelele sistemelor de fabricaie, capacitatea de producie,
ntrzieri, capacitatea pentru comunicare i modelele sistemelor cu microprocesor, utilizarea
resurselor critice i msuri de fiabilizare ale acestora. n ultimii ani, aceast clas de reele Petri a
fost folosit extensiv pentru modelarea i studiul performanelor analitice ale sistemelor
multiprocesor, ale magistralelor sistemelor multiprocesor, ale canalelor de comunicare DSP, ale
arhitecturilor paralele de calculatoare, precum i ale algoritmilor paraleli i distribuii.
Un alt domeniu de aplicare l constituie reelele de comunicare. S-a lucrat pe reele locale
cu fibr optic (Fiber Optics Local Area Networks) precum Expressnet, Fastnet, D-Net, U-Net,
Token Ring. Protocoalele de tip fieldbuss, precum FIP i ISA-SP50 au atras foarte mult aten ie
n ultimii ani, acest lucru fiind oarecum normal, ele fiind reele importante pentru sistemele
industriale complexe.
1.2 Descrierea reelelor Petri
O reea Petri poate fi identificat cu un tip particular de grafuri orientate bipartite
populate cu trei tipuri de obiecte. Aceste obiecte sunt locuri, tranziii i arce orientate care
conecteaz locuri cu tranziii sau tranziii cu locuri. Din punct de vedere grafic, locurile sunt
reprezentate prin cercuri iar tranziiile prin bare sau dreptunghiuri. Un loc este intrare pentru o
tranziie dac exist un arc orientat de la acel loc la tranziie. Un loc este ieire pentru o tranziie
dac exist un arc orientat de la tranziie la loc. n forma sa cea mai simpl, o re ea Petri poate fi
reprezentat printr-o tranziie mpreun cu locurile sale de intrare i de ieire. Aceast reea
elementar poate fi folosit pentru reprezentarea unor aspecte diverse ale sistemelor modelate.

Spre exemplu, locurile de intrare (ieire) pot reprezenta precondiii (postcondiii), iar
tranziiile - evenimente. Locurile de intrare pot semnifica disponibilitatea resurselor, tranziia utilizarea lor, iar locurile de ieire - eliberarea resurselor. Un exemplu de reea Petri este
prezentat n
Fig. 1.1. Aceast reea este format din cinci locuri, reprezentate prin cercuri, patru tranziii,
reprezentate prin bare i arce orientate ce conecteaz locurile cu tranziiile i tranziiile cu
locurile. n reea, locul p1este intrare pentru tranziia t 1, iar locurile p2, i p3 sunt ieiri pentru
tranziia t1. Pentru a studia comportamentul dinamic al sistemului modelat, adic strile acestuia
i modificrile lor, fiecare loc poate deine niciunul sau un numr pozitiv de jetoane, reprezentate
grafic prin mici cercuri solide, aa ca n Fig. 1.1.. Marcajul unei reele Petri cu m locuri este
reprezentat de un vector M cu dimensiunea (m x 1), ale crui elemente, notate M(p), sunt numere
ntregi pozitive reprezentnd numrul de jetoane n locurile corespunztoare. O reea Petri ce
conine jetoane se numete reea marcat. Spre exemplu, n modelul de reea Petri din Fig. 1.1,
M = (1,0,0,0,0)T.

Formal, o reea Petri poate fi definit astfel:

RP = (P, T, I, O, M0); unde
1)

P = {p1, p2, ... pm} este un set finit de locuri,

2)

T = { t1, t2, ... tm} este un set finit de tranziii, P T , si PT 0

3)

I: (P x T ) -> N este o functie de intrare care defineste arcele orientate de la locuri la

tranzitii, unde N este un set de intregi pozitivi,

4)

O: (P x T ) -> N este o functie de iesire care defineste arcele orientate de la tranzitii la

lucuri si

5)

M0 : P -> N este marcajul initial

Exemplul: Se consider reteaua Petri definit prin:

P={p1, p2, p3}, T={f}
F={( p1,f), ( p2, f)} (t, p3)};
W(p1,f) =2, W( p2, f) = 1, W(t, p3)=2
M0(p1) = 2, M0(p2) = 2, M0(p3) = 0
Proprieti ale reelelor Petri
Ca instrument matematic, reelele Petri posed un numr de proprieti. Aceste
proprieti, atunci cnd sunt interpretate n contextul sistemului modelat, permit designer-ului de
sistem s identifice prezena sau absena proprietilor funcionale specifice domeniului de
aplicare al sistemului proiectat. Astfel, pot fi distinse dou tipuri de proprieti: comportamentale
i structurale. Proprietile comportamentale sunt acelea care depind de starea iniial, sau
marcajul, unei reele Petri i de topologia acesteia. Vor fi discutate n cele ce urmeaz proprieti
precum accesibilitatea, limitabilitatea, conservativitatea, nivelul de activare (liveness),
reversibilitatea i starea de pornire (home state).
1.3.1 Accesibilitate
O problem important n designul sistemelor distribuite const n capacitatea sistemului
de a atinge o anumit stare sau de a prezenta un comportament funcional particular. n general,
ntrebarea la care se caut rspuns este dac sistemul modelat cu reele Petri are toate
proprietile dorite, aa cum sunt ele specificate n cerine, i nicio proprietate nedorit.
Reele Petri: concluzii
Dezvoltarea reelelor Petri a fost motivat de nevoia de a modela sistemele industriale.
Reelele Petri ordinare nu sunt totdeauna suficiente pentru reprezentarea i analiza sistemelor
industriale complexe, fapt care a dus la dezvoltarea unor noi clase de reele. Toate tipurile de
reele Petri au aceeai putere descriptiv, dar reelele de nivel ridicat asigur faciliti de
structurare mult mai bune.