Petrīni, ōrum, m., the inhabitants of the city of Petra, in Sicily, the Petreans, Cic. Verr. 2, 3, 39, § 90; Plin. 3, 8, 14, § 91.