Soundness-preserving composition of synchronously and asynchronously interacting workflow net components

Luca Bernardinello, Irina Lomazova, Roman Nesterov +1

In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is…