Упоминается в «Административно-территориальном делении Рязанской области» за 1970 год. В списках же населенных пунктов области за 1997 год селение с таким названием отсутствует.
Адм.- территориальное деление. - Рязань, 1970. - С. 168
Адм.-территориальное деление. - Рязань, 1997.
Название селения по фамилии землевладельца Петрова.
Журкин И., Катагощин Б. ГАРО Ф. Р - 5039, Oп. 1, Д. 455, Л. 59.

Смотри д. Петровка, Путятинский район.