Фамилия Петрочинин образована от имени Петрочиня – народной формы имени Петр, которое в переводе с древнегреческого означает «камень». Таким образом, потомок человека, которого звали Петрочиня, со временем получил фамилию Петрочинин.