hivatalos megnevezés: Petrovany, magyar megnevezés: Tarcaszentpéter településrész -> Tarcaszentpéter, kód: [525014], járás: Eperjes [707], kerület: Eperjesi kerület [7]