The Reachability Problem for Acyclic Join-Free Petri nets is NP-complete. - Ronny Tredup; Sophie Wallner (PNSE@Petri Nets, 2021)

Skeleton Abstraction for Universal Temporal Properties. - Sophie Wallner; Karsten Wolf (Fundam. Informaticae, 2022)

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

Modular State Spaces - A New Perspective. - Julian Gaede; Sophie Wallner; Karsten Wolf (Petri Nets, 2024)