Well, petra does in fact mean stone, rock, crag. See
http://www.perseus.tufts.edu/cgi-bin/resolveform?lang=Latin. I should have kept quiet about VAJRA though. I don't know where I got that from. It may be more likely that the real origin is sanskrit PRASTARA 'stone'...