Petronilla is the Latin diminutive feminine of Petronius — meaning "little rock," from the same root as Peter. Saint Petronilla was a 1st-century Roman martyr, traditionally identified as Saint Peter's daughter.
Petronilla is widely used in Italy.
Petronilla reduces to nine — the number of Roman rock.