PETRA (Ptolemy), Petræa (Silius Italicus), Petrina (Italicus), in both which last urbs is understood; an inland town of Sicily, to the south-west of Enyium. Now Petraglia (Cluverius).