“…Petri nets are similar to Boolean networks (Kauffman, 1969;Thomas & Kaufman, 2001), as they are well-adapted to formalize network topological changes. To our knowledge, such discrete and qualitative models have rarely been used in ecology (but see Ewing, Yandell, Barbieri, Luck, & Forster, 2002;Cordier, Largouët, & Zhao, 2014;Baldan, Bocci, Brigolin, Cocco, & Simeoni, 2015;Gaucherel, Théro, Puiseux, & Bonhomme, 2017). Among discrete models, Petri nets are powerful tools that enable the rigorous formalization of exhaustive changes in an ecosystem's structure.…”