Sunteți pe pagina 1din 4

Laborator SED

5. Proprieti ale reelelor Petri


5.1 Consideraii teoretice
Viabilitatea, mrginirea i reversibilitatea sunt proprieti importante n studiul
reelelor Petri.

Mrginirea O reea Petri PN = (N,M0) se numete mrginit (sau k-mrginit)


dac numrul jetoanelor din fiecare locaie nu depete niciodat un anumit numr natural
k, indiferent de marcajul realizat, adic: pentru oricare p din P i oricare M din R(M0)
rezult M(p) < k.
O reea Petri se numete sigur (engl.: safe) dac este 1-mrginit. Dac o reea
Petri este mrginit din oricare marcaj iniial finit, ea se numete structural mrginit.

Viabilitatea Acest concept este legat de absena interblocajelor n sistemele n


care se pune problema utilizrii n comun a mai multor resurse.
O reea Petri PN = (N,M0) se numete viabil (sau echivalent, M0 este un marcaj
viabil pentru reeaua N) dac indiferent care este marcajul realizabil din M0, se poate
executa n continuare oricare tranziie din reea, eventual executnd n prealabil anumite
secvene. Ea se numete structural viabil dac exist un marcaj iniial viabil pentru reea.
Dac o reea este viabil, atunci se garanteaz lipsa interblocajelor.
O tranziie t T este viabil dintr-un marcaj M0 (iniial) dac i numai dac oricare
ar fi marcajul M accesibil din M0 exist o secven de execuii care o conine pe t. (O
tranziie viabil rmne n permanen potenial executabil, activitatea pe care o reprezint
fiind ntotdeauna posibil).
O tranziie t din PN = (N,M0) se numete:
moart (sau L0 - viabil), dac t nu poate fi executat n nici o secven din
L(M0);
L1 - viabil (potenial executabil), dac t poate fi executat cel puin o dat n
unele secvene executabile din L(M0);
L2 - viabil, dac, dndu-se un numr natural k, t poate fi executat de cel puin
k ori n unele secvene din L(M0);
L3 - viabil, dac t apare de o infinitate de ori n unele secvene din L(M0);
L4 - viabil sau neviabil, dac t este viabil din oricare marcaj aparinnd
setului R(M0).
Reeaua Petri este Lk-viabil dac fiecare tranziie a sa, t, este Lk-viabil
(k=1,2,3,4). L4-viabilitatea este cea mai puternic i corespunde definiiei anterioare a
viabilitii. Dac o reea este Lk-viabil, atunci este i L(k-1)-viabil.
O tranziie este strict Lk-viabil dac este Lk-viabil, dar nu este L(k+1)-viabil.
Reversibilitatea O reea Petri PN = (N,M0) este reversibil dac oricare ar fi
marcajul M din setul R(M0), M0 este realizabil din M. Prin urmare, reeaua este reversibil
dac totdeauna se poate ajunge din nou n starea iniial.

23

Laborator SED

Uneori, n loc de starea iniial, se cere s se determine dac reeaua poate ajunge
ntr-o anumit stare de baz dat. M' este o stare de baz dac oricare ar fi marcajul M
din setul R(M0), M' este realizabil din M.
Viabilitatea, mrginirea i reversibilitatea nu sunt dependente una relativ la cealalt.

5.2 Desfurarea lucrrii


1. Pentru reelele Petri din figurile 1,2,3 stabilii care este gradul de viabilitate al
fiecrei tranziii. Precizai de asemenea gradul de viabilitate al reelelor
respective.
2. 2. Se consider reelele Petri din figurile 4,5,6,7. Stabilii dac fiecare dintre
reelele respective este mrginit, reversibil i viabil.
3. Verificai proprietile enunate utiliznd programul Pesim i HPSim.
p1
t1

t2
p3

p2

p1
t2

t3
p2
t0

t1

p4
t3

t4
p3

Figura 1

Figura 2

p1
t1

t2

p2

p3

p2
t3

t4

t3
p3

p4

p1

p5

t2
t5

t6

t1

p4
t4

Figura 3

24

Figura 4

Laborator SED

t3
p3

t2

p5

p3

t4
t2
p2

p1

t1

p1

p4

p2
t3
p4
t4

p5

t5
Figura 6

Figura 5

p1

t3
p3

t2
p2
t1

t4

t5

Figura 7
3. Verificai proprietile reelelor Petri din figurile 8,9 i 10.

Figura 8

25

Laborator SED

Figura 9

26

Figura 10