Bekannt ist er für seine algebraische Klassifikation („Petrow-Klassifikation“) von Einstein-Räumen (das heißt des Krümmungstensors für den Fall materiefreier Einstein-Räume), die ihm 1952 bis 1954 gelang.