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...
share
research
∙
06/11/2018
