Количество маркеров в сети Петри, изымаемых из конкретной позиции, или помещаемых в конкретную позицию при соединении срабатывающего перехода с позицией
Если для перехода сети Петри существует состояние, в котором он активирован, его уровень активности составляет
Если существует бесконечная последовательность срабатывания переходов, в которой данный переход присутствует неограниченно часто, степень активности этого перехода составляет
Позиция в сети Петри, в которую входят дуги, исходящие из данного перехода, называется
Целое число, при котором число объектов в позиции никогда не превышает это число, называется
Условие возбуждения перехода содержится в предписании
Разметку сети Петри до срабатывания любого перехода называют
Совокупность маркеров для всех позиций сети Петри называется
Количество маркеров в данной позиции сети Петри называется
Свойство сети Петри не допускать превышения количества маркеров в конкретной или произвольной позиции некоторого фиксированного числа называется
