Sven Willrodt

According to our database, Sven Willrodt authored at least 4 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure.

Lukas Voß, Sven Willrodt, Daniel Moldt, Michael Haustermann

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

Enhancement of Renew to Version 4.0 using JPMS.

Laif-Oke Clasen, Daniel Moldt, Marcel Hansson, Sven Willrodt, Lukas Voß

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

2020

Modular Model Checking of Reference Nets: MoMoC.

Sven Willrodt, Daniel Moldt, Michael Simon

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

2019

A First Prototype for the Visualization of the Reachability Graph of Reference Nets.

Michael Simon, Daniel Moldt, Henri Engelhardt, Sven Willrodt

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019