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