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