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