Automatic Modularization of Place/Transition Nets. - Julian Gaede; Judith-Henrike Overath; Sophie Wallner (PNSE@Petri Nets, 2024)