¿En qué comunidad autónoma se encuentra el municipio de Petra?