Documente Academic
Documente Profesional
Documente Cultură
O retea Petri (N, M0) se spune cã este impartialã de tip global, dacã orice secventã
σ pornind de la un marcaj oarecare M∈ R(M0) este impartialã de tip global.
Se constatã, cu usurintã, cã impartializarea de tip mãrginire este mai puternicã decât
cea de tip global, adicã orice retea impartialã de tip mãrginire este si impartialã de
tip global.
Arborele si graful de acoperire (accesibilitate)
Arborele de acoperire (accesibilitate)
Fiind datã o retea Petri (N, M0), pornind de la marcajul initial M0,
modificarea marcajelor ca urmare a executãrii tranzitiilor poate fi
reprezentatã sub forma unui arbore, denumit arbore de acoperire
(eng. coverability tree).
unde:
aij+= W(ti, pj) este ponderea arcului de la tranzitia ti, cãtre pozitia sa de iesire pj;
aij-= W(pj, ti) este ponderea arcului cãtre tranzitia ti, de la pozitia sa de intrare
p j.
Matricea A+= [aij+] (de dimensiune n´ m) este referitã drept matrice de incidentã de
iesire.
Matricea A- = [aij-] (de dimensiune n´ m) este referitã drept matrice de incidentã de
intrare.
Din punctul de vedere al aplicatiilor, scrierea matricei de incidentã A se poate face
global, construind, mai întâi, matricele A+ si A-, dupã care se efectueazã diferenta: