Documente Academic
Documente Profesional
Documente Cultură
Exemplul 1
Exemplul 2
Marcajul initial M0 (1 0 0 1 1 0 0)T
Exemplul 3
Consideram marcajul M = (1 1)T
In Exemplul 2
x1 =(1 1 1 0 0 0 0)T , x2 = (0 0 1 1 0 0 1)T si x3 =(0 0 0 0 1 1 1)T
sunt toti P-invarianti (corecti).
Un P-invariant indica faptul ca numarul de jetoane in toate marcajele
tangibile (reacheble) satisfac relatii invariante liniare.
3.4.4.1. Configuratii tip sifon si capcanã
În general analiza proprietãtii de viabilitate, se bazeazã pe identificarea si
investigarea a douã configuratii specifice de pozitii si tranzitii, denumite
sifon si respectiv capcanã.
Pentru ilustrare, a se vedea fig. (a), în care sifonul S={p1, p2, p3} se
caracterizeazã prin ·
S {t1} si
S {t1, t2}.
O submultime de pozitii Q ale unei retele Petri ordinare se
numeste capcanã (eng. trap) dacã fiecare tranzitie ce are o
pozitie de intrare în Q posedã si o pozitie de iesire în Q.
Echivalent, utilizând notatia de precedentã si succesiune,
avem: