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