Petrus comes from the Greek meaning "rock", an 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, and may refer to one of the following: