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