Documente Academic
Documente Profesional
Documente Cultură
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.
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