Le nom « Petra » signifie « rocher » en grec. Il est souvent utilisé comme prénom féminin, et c’est aussi le nom d’une célèbre ville ancienne de Jordanie.