Sophie Wallner

According to our database, Sophie Wallner authored at least 5 papers between 2021 and 2026.

Collaborative distances:

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

2026

Coverability Abstraction for the Modular State Space.

Sophie Wallner, Julian Gaede, Lukas Zech, Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2026

2024

Modular State Spaces - A New Perspective.

Julian Gaede, Sophie Wallner, Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

Automatic Modularization of Place/Transition Nets.

Julian Gaede, Judith-Henrike Overath, Sophie Wallner

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

2021

Skeleton Abstraction for Universal Temporal Properties.

Sophie Wallner, Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

The Reachability Problem for Acyclic Join-Free Petri nets is NP-complete.

Ronny Tredup, Sophie Wallner

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