Hrvatska enciklopedija (2013–)
Petra [pe], antički grad smješten na trgovačkom putu između Mrtvog i Crvenoga mora u južnom Jordanu; ...

Hrvatski opći leksikon (2012)
Petra, ant. grad i trg. središte, danas ostatci na lokalitetu Wadi Musa (Jordan); od 3. st. pr. Kr. ...

Hrvatski obiteljski leksikon (2005)
Petra, antički grad i trgovačko središte, danas ostaci u Wadi Musa (Jordan) ...