Сеть Петри — это математическая модель, используемая для описания и анализа процессов, особенно тех, которые связаны с синхронизацией и параллелизмом. В сети Петри основные компоненты включают:

1. Позиции (Places): Они обозначаются кругами и представляют собой состояния или условия в системе. Позиции могут содержать маркеры, которые показывают, сколько ресурсов или токенов находится в данном состоянии.
2. Переходы (Transitions): Обозначаются прямоугольниками или линиями и представляют собой события или изменения состояния. Переходы могут срабатывать, если все входные позиции содержат необходимое количество маркеров.
3. Дуги (Arcs): Это стрелки, которые соединяют позиции и переходы. Они показывают направление движения маркеров от позиций к переходам и наоборот. Дуги могут иметь вес, который указывает, сколько маркеров перемещается при срабатывании перехода.
4. Маркеры (Tokens): Маленькие черные точки внутри позиций, которые показывают текущее состояние системы. Распределение маркеров по позициям называется маркировкой сети.

Таким образом, к вершинам сети Петри относятся позиции и переходы, поскольку именно они определяют структуру и поведение сети. Позиции и переходы соединяются дугами, которые определяют возможные пути перемещения маркеров.