Петровка была Петровкой задолго до рождении Петпа. I, её имя от Высоко-Петровского монастыря - то есть от Апостола Петра, кстати и город Санкт - Петербург тоже назван именем Апостола Петр, своего небесного покровителя, сам Петр I, как бы поскромничал напрямую назвать и просто к этому имени как бы присоседился, а вот и Петровский завод и Петровская слобода, при ней которые стали Петрозаводском, или Петродворец связаны с имени царя Петра I
.
