P12
d.true d.false o
P5 P6 P13
e f
P7
В
g.true g.false
P8 P9
k l.true l.false
P10
m P11
В
n
: Fill; max: = A [n-1, 0]; i: =-n +1;: i 0: j: = 1-i : j: = 1: i + j ВЈ m and j ВЈ n: sum: = sum + A [j-1, i + j-1]; j: = j +1: max
Дерево досяжності.
(1,0,0,0,0,0,0,0,0,0,0,0,0)
(0,1,0,0,0,0,0,0,0,0,0,0,0)
В
(0,0,1,0,0,0,0,0,0,0,0,0,0) (0,0,0,0,0,0,0,0,0,0 , 0,1,0)
(0,0,0,1,0,0,0,0,0,0,0,0,0) (0,0,0,0,0,0,0,0,0,0 , 0,0,1)
(0,0,0,0,1,0,0,0,0,0,0,0,0) (0,0,0,0,0,1,0,0,0,0 , 0,0,0)
(0,0,0,0,0,0,1,0,0,0,0,0,0) (0,0,0,0,0,0,1,0,0,0 , 0,0,0)
(0,0,0,0,0,0,0,1,0,0,0,0,0) (0,0,0,0,0,0,0,0,1,0 , 0,0,0) (0,0,0,0,0,0,0,1,0,0,0,0,0) (0,0,0,0,0,0,0,0 , 1,0,0,0,0)
(0,0,0,0,0,0,1,0,0,0,0,0,0) (0,0,0,0,0,0,1,0,0,0 , 0,0,0)
В
(0,0,0,0,0,0,0,0,0,1,0,0,0) (0,0,0,0,0,0,0,0,0,0 , 1,0,0) (0,0,0,0,0,0,0,0,0,1,0,0,0) (0,0,0,0,0,0,0,0 , 0,0,1,0,0)
(0,0,0,0,0,0,0,0,0,0,1,0,0) (0,1,0,0,0,0,0,0,0,0 , 0,0,0) (0,0,0,0,0,0,0,0,0,0,1,0,0) (0,1,0,0,0,0,0,0 , 0,0,0,0,0)
(0,1,0,0,0,0,0,0,0,0,0,0,0) (0,1,0,0,0,0,0,0,0,0 , 0,0,0)
Аналіз безпеки і обмеженості. Мережа Петрі обмежена тоді і тільки тоді, коли символ w відсутній у її дереві досяжності. На дереві досяжності, ні в одній з маркувань немає символу w . Отже, мережа Петрі є обмеженою. Так як межа для всіх позицій дорівнює 1, то побудована мережа Петрі безпечна.
Аналіз збереження. Для кожної маркування можна обчислити суму початкової маркування. Так як для побудованої мережі Петрі ця сума однакова для кожної досяжною маркування, то можна зробити висновок, що мережа Петрі є зберігає. p align="justify"> Аналіз покриваемості. Побудована мережа Петрі не є покривається, тому що для заданої маркування m 'немає такої досяжною маркування в дереві досяжності, щоб виконувалася умова: m " Ві m '.
Аналіз жвавості. З розглянутого дерева досяжності випливає, що всі переходи є потенційно живими, так як існує така m ГЋ R (N, m ), ...
