2 papers
cs.FL2024
Attractor Basins in Concurrent Systems
Giann Karlo Aguirre Samboni, Stefan Haar, Loic Paulevé +2
A crucial question in analyzing a concurrent system is to determine its long-run behaviour, and in particular, whether there are irreversible choices in its evolution, leading into…
cs.LO2023
Taking Complete Finite Prefixes To High Level, Symbolically
Nick Würdemann, Thomas Chatain, Stefan Haar +1
Unfoldings are a well known partial-order semantics of P/T Petri nets that can be applied to various model checking or verification problems. For high-level Petri nets, the so-call…