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