Если в процессе функционирования сеть Петри может оказаться в состоянии, в котором определенный переход заблокирован, такой переход называется
Дерево достижимости сети Петри всегда представляется
После какой вершины строить дерево достижимости необязательно?
Выражение новых токенов на основе старых реализуется предписанием
Корневой точкой дерева достижимости является
К типам вершин дерева достижимости следует отнести
Задачи достижимости и покрываемости можно рассматривать только применительно
Ограничение дерева достижимости сети Петри достигается за счет появления
Из приведенных ниже записей выделите типы вершин дерева достижимости:
В какой сети Петри мгновенное состояние в дереве достижимости не представляется?