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