A First Prototype for the Visualization of the Reachability Graph of Reference Nets. - Michael Simon; Daniel Moldt; Henri Engelhardt; Sven Willrodt (PNSE@Petri Nets/ACSD, 2019)

Modular Model Checking of Reference Nets: MoMoC. - Sven Willrodt; Daniel Moldt; Michael Simon (PNSE@Petri Nets, 2020)

Enhancement of Renew to Version 4.0 using JPMS. - Laif-Oke Clasen; Daniel Moldt; Marcel Hansson; Sven Willrodt; Lukas Voß (PNSE@Petri Nets, 2022)

Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure. - Lukas Voß; Sven Willrodt; Daniel Moldt; Michael Haustermann (PNSE@Petri Nets, 2022)