More info about the name "Petya"

Petya is a diminutive of Pyotr, itself a Russian form of Peter. The name name Peter itself is a very general name and is derived from the Old Greek word, 'Petros', which means 'rock'.