Petronilla f. A fem. dim. of Latin Petronius, a Roman nomen possibly derived from Latin petra 'a rock, stone'.
The name of a apocryphal virgin martyr and a 12th C queen of Aragon.
Because of the supposed derivation from the same root as Peter, in the Middle Ages, Petronilla was the more common feminine form of that, as opposed to the actual feminine form, Petra.