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