Sven Willrodt

Sven Willrodt

Universität Hamburg - Hamburg / Germany
Others
AD Scientific Index ID: 5519519
University of Hamburg
person_outline Sven Willrodt's MOST POPULAR ARTICLES
1-) Modular Model Checking of Reference Nets: MoMoC.S Willrodt, D Moldt, M SimonPNSE@ Petri Nets, 181-193, 202082020
2-) Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure.L Voß, S Willrodt, D Moldt, M HaustermannPNSE@ Petri Nets, 40-59, 202232022
3-) Discussion of a Renew implementation of a modular model checking framework for reference netsS Willrodt, D MoldtAlgorithms and Tools for Petri Nets 12, 201932019
4-) A First Prototype for the Visualization of the Reachability Graph of Reference Nets.M Simon, D Moldt, H Engelhardt, S WillrodtPNSE@ Petri Nets/ACSD, 165-166, 201922019
5-) Enhancement of Renew to Version 4.0 using JPMS.LO Clasen, D Moldt, M Hansson, S Willrodt, L VoßPNSE@ Petri Nets, 156-167, 202212022