- Machilis lindbergi Wygodzinsky, 1959
- Neomachilis halophila Silvestri, 1911
- Petrobius adriaticus Verhoeff, 1910
- Petrobius brevistylis Carpenter, 1913
- Petrobius canadensis Paclt, 1969
- Petrobius crimeus Kaplin, 1983
- Petrobius maritimus (Leach, 1809)
- Petrobius ponticus Wygodzinsky, 1959
- Petromachilis longicornis Reilly, 1915 accepted as Petrobius maritimus (Leach, 1809)