Genus Petrolestes Cockerell, 1927

Type species: Petrolestes hendersoni Cockerell, 1927 ( Eocene, Green River Formation, Colorado, USA) .

Other species. Petrolestes messelensis Garrouste & Nel, 2015 (Eocene, Messel, Germany), Petrolestes inexpectatus sp. nov. (Eocene, Green River Formation, Colorado, USA).