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