Първи данни за с.Петров дол са открити в регистъра Джизие през 1635г. Селото под името Дерекьой, както и другите села от Провадийска казакааза принадлежат към вакъфа на султан Селим I (1512–1520). Освен в джизие регистрите то присъства под названието Дерекьой и в османски регистър от 1676 г. за разхвърляне на извънредни данъци, свързани с продоволственото осигуряване на военните походи. Данъчната тежест на селото е определена на 6 авариз ханета. Тоест в с.Петров дол тогава е имало между 50 и 80 къщи, което означава, че броят на населението спрямо регистрираните през 1635 г. - 55 данъкоплатци се запазва или леко нараства. По време на османското робство в селото са живели и православни албанци(арнаути), които заедно с част от коренните жители през 1809-1810г. са се изселили в област Каракут (сега с.Жовтневе, южно от Болград, Украйна) и с.Професор Иширково, Силистренско.<br><!-- == Обществени институции == -->
