Синтез комбинацонных схем и конечных автоматов, сети Петри
| Категория реферата: Рефераты по информатике, программированию
| Теги реферата: список рефератов, контрольные работы 7 класс
| Добавил(а) на сайт: Доминика.
Предыдущая страница реферата | 11 12 13 14 15 16 17 18 19 20 21 | Следующая страница реферата
[pic]
(3.3.1)
[pic]
(3.3.2)
Матрицу изменений найдём как разность между (3.3.2) и (3.3.1):
[pic] (3.3.3)
Таким образом, получив матрицу изменений, можно записать матричное уравнение смены маркировок вида (3.2.19). Вектор начальной маркировки определим так:
?0 = (10011100)
(3.3.4)
Составим дерево покрываемости маркировок сети.
(10011100) ‘Новая’
t1 t4
‘Новая’
‘Новая’
(01001100) (10010010)
t2 t4 t1 t5
(00100100) (01000010) (01000010)
(10000001)
‘Новая’ ‘Тупик’ ‘Тупик’
‘Новая’ t3 t6
(10011100) ‘Старая’
(10011100) ‘Старая’
Рисунок 3.3.1 – Дерево покрываемости маркировок
Дерево покрываемости удобно оформить в виде графа. При этом более наглядно видны зацикливающиеся переходы, тупиковые маркировки никакими дополнительными пояснениями снабжать не требуется – отсутствие дуг, исходящих из данной маркировки, говорит само за себя. При достижении старой маркировки её не нужно заново наносить на граф – достаточно соединить дугой предыдущую маркировку и уже существующую “старую”.
Граф покрываемости сети выглядит следующим образом:
?0 t3 t6
10011100
00100100 t1 t4 10000001
t2 t5
Рекомендуем скачать другие рефераты по теме: курсовая работа 2011, современные рефераты.
Категории:
Предыдущая страница реферата | 11 12 13 14 15 16 17 18 19 20 21 | Следующая страница реферата
Главная