Происхождение названия населенного пункта на сегодняшний день неизвестно. Вероятнее всего, в его основе лежит имя (прозвище) или фамилия первопоселенца либо владельца. Но документов, подтверждающих эту версию, найти пока не удалось. Косвенным аргументом в пользу данной версии могут служить названия близлежащих населенных пунктов: д. Большая Косыревка, д. Дмитриевский Хутор, д. Иваньково, д. Кондауровка, д. Савиловка, д. Желтухино, д. Летово.
Бабурин А.; Атлас Рязанской области. - М., 2002. -Л. 98
Петровки - ж. мн. пост перед Петровым днем.

Даль В. Толковый словарь. - М., 1989. - Т. 3. - С. 106.