ВУЗ:
Составители:
113
(1, 0, 0)
t1 t2
(1, 1, 0)
(0, 1, 1)
(1, 2, 0) (0, 2, 1) (0, 0, 1)
t1 t2 t3
(0, 1, 1)(1, 3, 0) (0, 3, 1)
Рис. 7.13. Третий шаг построения дерева достижимости
Заметим, что маркировка (0, 0, 1) пассивная; никакой переход в ней не является
разрешенным, поэтому никакие новые маркировки из этой пассивной маркировки в
дереве порождаться не будут. Кроме того, необходимо отметить, что маркировка (0,
1, 1), порождаемая запуском t
3
в (0, 2, 1) была уже порождена непосредственно из на-
чальной маркировки запуском t
2
.
Если эту процедуру повторять снова и снова, каждая достижимая маркировка
окажется порожденной. Однако получившееся дерево достижимости может оказаться
бесконечным, так как будет порождена каждая маркировка из множества достижимо-
сти. Поэтому для любой сети Петри с бесконечным множеством достижимости соот-
ветствующее дерево также должно быть бесконечным. Даже сеть Петри с конечным
множеством достижимости может иметь бесконечное дерево (рис. 7.14).
t1 t2
(1, 0)
(1, 0)
(0, 1)
(0, 1)
(1, 0)
...
t1
t2
t2
t1
t1
Рис. 7.14. Простая сеть Петри с бесконечным деревом достижимости
Дерево представляет все возможные последовательности запусков переходов.
Всякий путь в дереве, начинающийся в корне, соответствует допустимой последова-
тельности переходов.
Для получения дерева, которое можно считать полезным инструментом анализа
необходимо найти средства ограничения его до конечного размера. Отметим, что ес-
ли какое-то представление бесконечного множества конечно, то бесконечное множе-
ство маркировок должно отображаться в такое представление. В общем случае это
Страницы
- « первая
- ‹ предыдущая
- …
- 112
- 113
- 114
- 115
- 116
- …
- следующая ›
- последняя »
