После какой вершины строить дерево достижимости необязательно?

Дерево достижимости сети Петри всегда представляется

Если исходная сеть обладает свойствами накопления токенов, дерево достижимости может оказаться

Вершины сети Петри, которые еще не обработаны алгоритмом построения дерева достижимости, называются

Цепочка вершин дерева достижимости, в которой из каждой вершины исходит только одна дуга, называется

Алгоритм построения дерева достижимости заканчивает свою работу, когда все вершины дерева становятся

В какой сети Петри мгновенное состояние в дереве достижимости не представляется?

После обработки граничные вершины могут стать

Корневой точкой дерева достижимости является

К типам вершин дерева достижимости следует отнести

Задачи достижимости и покрываемости можно рассматривать только применительно