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)