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