Алгоритм построения дерева достижимости заканчивает свою работу, когда все вершины дерева становятся
Ограничение дерева достижимости сети Петри достигается за счет появления
Элементы сети Петри, которые могут перемещаться по сети, называются
Дерево достижимости сети Петри всегда представляется
В какой сети Петри мгновенное состояние в дереве достижимости не представляется?
Цепочка вершин дерева достижимости, в которой из каждой вершины исходит только одна дуга, называется
Какая сеть Петри содержит немгновенные переходы, в которые вложены другие сети?
Узлы кодового дерева, которые не соединяются с другими узлами, называются
Корневой точкой дерева достижимости является
К типам вершин дерева достижимости следует отнести