Розрізняють два типи вершин: позиції (позначаються колами) і переходи (позначаються смужками). МП може бути формально подана у вигляді як сукупність множин: , де — множина всіх позицій ( — кількість позицій); — множина переходів ( — кількість переходів); — множина дуг мережі: , — множини дуг, що ведуть відповідно від переходів до позицій і від позицій до переходів (дуг, що з'єднують однорідні вершини, не існує); — множина ваг дуг ( — кількість дуг).