Lukas Panneke
Lukas Panneke
Publications
- [article] bibtexN. Würdemann, T. Chatain, S. Haar, and L. Panneke, "Taking Complete Finite Prefixes To High Level, Symbolically" Fundamenta Informaticae, vol. 192, iss. 3-4.
doi: 10.3233/FI-242196 - [thesis] bibtexL. Panneke, "Implementing Symbolic Unfoldings of High-level Petri Nets" Master's thesis , Oldenburg, 2023.
- [thesis] bibtexL. Panneke, "Optimization Techniques for Reachability Analysis of Bounded Petri Nets" Bachelor's thesis , Oldenburg, 2021.
Lectures
Summer term 2025
2.01.800-A
Proseminar: Algorithmen auf Graphen
Winter term 2023 / 2024
2.01.456
Real-Time Systems