1. Token Trail Semantics – Modeling Behavior of Petri Nets with Labeled Petri Nets;Application and Theory of Petri Nets and Concurrency;2023
2. Synthesis and Analysis of Petri Nets from Causal Specifications;Computer Aided Verification;2022
3. Firing Partial Orders in a Petri Net;Application and Theory of Petri Nets and Concurrency;2021
4. Petri’s Understanding of Nets;Carl Adam Petri: Ideas, Personality, Impact;2019
5. Synthesizing Petri Nets from Hasse Diagrams;Lecture Notes in Computer Science;2017