2026
Towards roundtrip engineering for Java and agent interaction protocols with Petri net-based semantics
Niklas Levens, Lukas Seifert, Leon Zander et al.
· PNSE/PNAS/ATAED/PHOCON@PETRI... · 0 citations
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Synchronized Transitions Based on Event Streaming ⋆
This work introduces a cross-platform, rendezvous-based synchronization concept that preserves formal firing semantics by coordinating cross-partition interactions and provides a practical, formally rigorous basis for analyzing increasingly complex coloured Petri net models beyond the limits of single-machine simulatio...
Laif-Oke Clasen, Justus Middendorf, L. Grimme et al.
· 0 citations