Basionym Name:Arthonia petrensis Nyl., Flora, Regensburg 59: 309 (1876)
Homotypic synonyms:Allarthonia petrensis (Nyl.) Redinger, Rabenh. Krypt.-Fl., Edn 2 (Leipzig) 9(2. Abt., 1. Teil,): 132, 150 (1937)