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