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