Моделирование систем управления. Шалобанов С.В. - 41 стр.

UptoLike

Составители:

Рубрика:

Для анализируемой сети (см. рис. 2.12) дерево достижимости представ-

лено на рис. 2.14.

Всякий путь от корня в дереве соответствует допустимой последова-

тельности переходов. Для превращения дерева в полезный инструмент ана-

лиза необходимо найти средства ограничения его до конечного размера, т.е.

найти средства, которые ограничивают введение новых маркировок на каж-

дом шаге

построения. В этом смысле выделяют пассивные (терминальные),

дублирующие вершины и вершины с расширенной маркировкой.

(1, 0, 0)

(1, 1, 0) (0, 1, 1)

(1, 2, 0) (0, 2, 1) (0, 0, 1)

(1, 3, 0) (0, 3, 1) (0, 1, 1)

Ду

лирующая

Пассивная

(тупик)

(1, ω, 0)

асширенная

Рис. 2.14. Дерево достижимости

Пассивная (или терминальная) вершина – это маркировка, в которой

нет разрешенных переходов. Для анализируемого примера сети это марки-

ровка (0, 0, 1) (см. рис. 2.12). Дублирующая вершина – это вершина с марки-

ровкой, которая уже ранее встречалась в этом дереве достижимости. При

появлении дублирующей вершины нет необходимости производить из нее

дальнейшие построения,

поскольку это приведет к появлению поддерева,

полученного из места первого появления дублирующей вершины. В рас-

сматриваемом примере маркировка (0, 1, 1), получившаяся после выполне-

ния t

, t

не будет порождать какие-либо новые вершины, поскольку она