Where does “Petra” come from?

Words derived from “Petra”