research
∙
01/19/2021
On the Decidability of Behavioral Equivalences for (P,P)-PRS
We study resource similarity and resource bisimilarity – congruent restr...
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
