Проверяемый текст
Данилов Игорь Кеворкович. Повышение эффективности использования ресурса автотракторных двигателей систематизацией эксплуатационно-ремонтного цикла на основе диагностирования (Диссертация 2005)
[стр. 97]

97 маркировки к каждой из новых маркировок (рис.
4.3).
Это (частичное) дерево показывает все маркировки, непосредственно достижимые из начальной маркировки.
Р г Рисунок 4.2 Маркированная сеть Петри, для которой строится дерево достижимости (1.0,0) Рисунок 4.3 Первый шаг построения дерева достижимости Теперь необходимо рассмотреть все маркировки, достижимые из новых маркировок.
Из маркировки (1,1,0) можно снова запустить t\ (получая (1,2,0)) и
/2 (получая (0,2,1)); из (0,1,1) можно запустить /3 (получая (0,0,1)).
Это порождает дерево изображённое на рис.

4.4.
Начиная с трёх новых маркировок, необходимо повторить этот процесс, порождая новые маркировки, которые нужно ввести в дерево, как показано на рис.

4.5.
Заметим, что маркировка (0,0,1) пассивная; никакой переход в ней не является
разрешенным, поэтому никакие новые маркировки из этой пассивной
[стр. 186]

186 Теперь необходимо рассмотреть все маркировки, достижимые из новых маркировок.
Из маркировки (1,1,0) можно снова запустить tj (получая (1,2,0)) и
t2 (получая (0,2,1)); из (0,1,1) можно запустить tj (получая (0,0,1)).
Это порождает дерево изображённое на рисунке
5.15.
Начиная с трёх новых маркировок, необходимо повторить этот процесс, порождая новые маркировки, которые нужно ввести в дерево, как показано на рисунке
5.16.
(1,0,0) (0,0,1) Рис.
5.15.
Второй шаг построения дерева достижимости О.о.о) (1.1,0) (0,1,1) (1,2.0) (0,2,1) (0,0,1) (1,3,0) (0,3.1) (0,1,1) Рис.
5.16.
Третий шаг построения дерева достижимости

[стр.,187]

187 Заметим, что маркировка (0,0,1) пассивная; никакой переход в ней не является разрешённым, поэтому никакие новые маркировки из этой пассивной маркировки в дереве порождаться не будут.
Кроме того, необходимо отметить, что маркировка (0,0,1), порождаемая запуском t3 в (0,2,1), была уже порождена непосредственно из начальной маркировки запуском t2.
Если эту процедуру повторять снова и снова, каждая достижимая маркировка окажется порождённой.
Однако, получившееся дерево достижимости может оказаться бесконечным.
Будет порождена каждая маркировка из множества достижимости, поэтому для любой сети Петри с бесконечным множеством достижимости соответствующее дерево также должно быть бесконечным.
Даже сеть Петри с конечным множеством достижимости может иметь бесконечное дерево (рисунок 5.17) (1.0) (O.I) (1,0) (О, I) I” (I.O) 1Рис.
5.17.
Простая сеть Петри с бесконечным деревом достижимости

[Back]