ВУЗ:
Составители:
Р
2
t
2
Р
3
Р
1
t
1
t
3
Рис. 2.12. Пример маркированной сети для построения
дерева достижимости
В этой начальной маркировке разрешены два перехода t
1
, t
2
. Поскольку
мы хотим рассмотреть всё множество достижимости, определим новые
вершины в дереве достижимости для достижимых маркировок, получаю-
щихся в результате запуска каждого из этих двух переходов. Дерево дости-
жимости – это исходящее дерево, вершинам которого соответствуют дости-
жимые маркировки. Начальной маркировке соответствует корневая верши-
на. Если из вершины µ' в вершину
µ" ведет дуга, то она взвешена переходом,
переводящим сеть Петри из маркировки µ' в µ". Тупиковым маркировкам
соответствуют висячие вершины. Необходимо отметить, что в таком опре-
делении дерево достижимости в общем случае является бесконечным, по-
скольку даже сеть с конечным множеством достижимости (рис. 2.13, а) мо-
жет иметь бесконечное дерево достижимости (рис. 2.13, б
).
P
1
(1, 0)
t
2
(0, 1)
t
2
t
1
t
1
(1, 0)
t
2
P
2
а б
Рис. 2.13. Сеть с конечным множеством достижимости (а)
и бесконечным деревом достижимости (б)
38
Страницы
- « первая
- ‹ предыдущая
- …
- 38
- 39
- 40
- 41
- 42
- …
- следующая ›
- последняя »
