Pedetontus

Familia: Machilidae
Subfamilia: Petrobiinae
Genus:
Species (27): P. banksi – P. bianchii – P. bouvieri – P. calcaratus – P. californicus – P. centralis – P. formosanus – P. fukiensis – P. gershneri – P. hainanensis – P. longistylis – P. meridionalis – P. nipponicus – P. okajimae – P. palaearcticus – P. saltator – P. savioi – P. schicki – P. silvestrii – P. strenuus – P. unicaulatus – P. unimaculatus – P. uraiensis – P. ussuriensis – P. yosemite – P. zhejiangensis – P. zhoui

Pedetontus Silvestri, 1911: 325

• Original status: valid subgenus
• Type species: Petrobius californicus Silvestri, 1911
  • Fixation: original designation (p. 325)
• ZooBank: [1]

• Silvestri, F. 1911. Contributo alla conoscenza dei Machilidae dell' America settentrionale. Bolletino del Laboratorio di Zoologia generale e agraria di Portici 5: 324–350. BHL Reference page.  [See p. 325]