Dobra, jest taki dokument, nazywa sie Polski Rejestr Nazw Geograficznych, znajduje się w nim lista oficjalnych, urzędowych nazw geograficznych w Polsce: https://pl.m.wikipedia.org/wiki/Pa%C5%84stwowy_rejestr_nazw_geograficznych . W tym rejestrze ciek ten nazywa się Pietrówka - Piotrówka zaś jest nazwą oboczną, popatrz na link który zamieściłem w poprzedniej odpowiedzi. 