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