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