Lukas Panneke

Lukas Panneke

A02 3-338 (» Adress and map)

Secretary

Marion Bramkamp

Ulhornsweg 84 - Room A2 2-228

+49 441 798-2426

Lukas Panneke

Publications

  • [article] bibtex
    N. 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] bibtex
    L. Panneke, "Implementing Symbolic Unfoldings of High-level Petri Nets" Master's thesis , Oldenburg, 2023.
  • [thesis] bibtex
    L. Panneke, "Optimization Techniques for Reachability Analysis of Bounded Petri Nets" Bachelor's thesis , Oldenburg, 2021.

Lectures

Summer term 2025

Winter term 2023 / 2024

Webmaster (Changed: 23 Jan 2025)  Kurz-URL:Shortlink: https://uol.de/p109145en
Zum Seitananfang scrollen Scroll to the top of the page