Условие возбуждения перехода содержится в предписании

Срабатывание перехода, при котором метки из входных позиций этого перехода перемещаются в выходные позиции, называется

Разметку сети Петри до срабатывания любого перехода называют

Неравенство Крафта описывает условие существования

Позиция в сети Петри, в которую входят дуги, исходящие из данного перехода, называется

Какое необходимое условие должно выполняться для префиксного кода?

Если для перехода сети Петри существует состояние, в котором он активирован, его уровень активности составляет

Количество маркеров в сети Петри, изымаемых из конкретной позиции, или помещаемых в конкретную позицию при соединении срабатывающего перехода с позицией

Если существует бесконечная последовательность срабатывания переходов, в которой данный переход присутствует неограниченно часто, степень активности этого перехода составляет