The chemical composition of a planetary atmosphere plays an important role for atmospheric structure, stability, and evolution. Potentially complex interactions between chemical species do not often allow for an easy understanding of the underlying chemical mechanisms governing the atmospheric composition. In particular, trace species can affect the abundance of major species by acting in catalytic cycles. On Mars, such cycles even control the abundance of its main atmospheric constituent CO2. The identification of catalytic cycles (or more generally chemical pathways) by hand is quite demanding. Hence, the application of computer algorithms is beneficial in order to analyze complex chemical reaction networks. Here, we have performed the fi...