Lukas Voß

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Modular Structure

Top Venues

PNSE@Petri Nets

Publications

Lukas Voß, Sven Willrodt, Daniel Moldt, Michael Haustermann
Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure. PNSE@Petri Nets (2022)
Laif-Oke Clasen, Daniel Moldt, Marcel Hansson, Sven Willrodt, Lukas Voß
Enhancement of Renew to Version 4.0 using JPMS. PNSE@Petri Nets (2022)