Petrus is a Latin name derived from the Greek meaning "rock", and is the common English prefix "petro-" used to describe rock-based substances, like petros-oleum or "rock oil." As the source of Peter, it is a common name for people from antiquity through the medieval era.
People with the name
References
Petrus (given name) Wikipedia(Text) CC BY-SA