research
∙
07/14/2021
Asynchronous games on Petri nets and ATL
We define a game on distributed Petri nets, where several players intera...
share
research
∙
01/15/2020
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
In this paper, we propose a compositional approach to construct formal m...
research
∙
06/11/2018
