Origin of the name Petrina

Diminutive of Petra.