Граф сети Петри состоит из двух основных типов вершин: мест (places) и переходов (transitions). Эти два типа вершин имеют свои функции и взаимодействуют друг с другом для моделирования процессов.

Типы вершин в графе сети Петри:

• Места (Places): Это вершинные элементы, которые могут содержать токены. Токены представляют собой состояние системы. Количество токенов в местах может варьироваться, и это количество определяет состояние системы в данный момент времени.
• Переходы (Transitions): Это вершинные элементы, которые представляют собой события или действия, которые могут произойти в системе. Переходы могут быть активированы, если условия, заданные местами, выполнены (например, если в местах достаточно токенов).

Таким образом, в сети Петри мы имеем два типа вершин: места и переходы. Эти два типа вершин работают вместе для моделирования динамики системы.

Если говорить о более сложных сетях Петри, то можно также учитывать дополнительные элементы, такие как:

• Арки (Arcs): Связывают места и переходы, определяя, как токены могут перемещаться между ними.
• Метки (Labels): Могут использоваться для обозначения различных свойств мест и переходов.

Тем не менее, фундаментально, граф сети Петри включает только два основных типа вершин: места и переходы.