O nome "Petra" significa "rocha" em grego. É frequentemente usado como um nome feminino e também é o nome de uma famosa cidade antiga na Jordânia.