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