3 papers
cs.FL2024
Quasi-stratified Order Semantics of Concurrency
Maciej Koutny, Lukasz Mikulski
In the development of operational semantics of concurrent systems, a key decision concerns the adoption of a suitable notion of execution model, which basically amounts to choosing…
cs.LO2023
Formal Translation from Reversing Petri Nets to Coloured Petri Nets
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski +3
Reversible computation is an emerging computing paradigm that allows any sequence of operations to be executed in reverse order at any point during computation. Its appeal lies in…
cs.MA2023
Analysing Multi-Agent Systems using 1-safe Petri Nets
Federica Adobbati, Łukasz Mikulski
In the modelling and analysis of large, real systems, the main problem in their efficient processing is the size of the global model. One of the popular approaches that address thi…