Реферат: Синтез комбинацонных схем и конечных автоматов, сети Петри
▪ ▪
t1 ▪ p4 t4
p2 p7
t2 ▪ p5 t5
p3 p8
t3 t6
Рисунок 3.3.1 – Исходная сеть Петри
Для матричного анализа сети найдём её матрицу изменений.
(3.3.1)
(3.3.2)
Матрицу изменений найдём как разность между (3.3.2) и (3.3.1):
(3.3.3)
Таким образом, получив матрицу изменений, можно записать матричное уравнение смены маркировок вида (3.2.19). Вектор начальной маркировки определим так:
μ0 = (10011100) (3.3.4)
Составим дерево покрываемости маркировок сети.
(10011100) ‘Новая’