Namnet "Petra" betyder "klippa" på grekiska. Det används ofta som ett feminint förnamn, och det är också namnet på en berömd gammal stad i Jordanien.