TY - RPRT TI - Soundness-preserving composition of synchronously and asynchronously interacting workflow net components AU - Luca Bernardinello AU - Irina Lomazova AU - Roman Nesterov AU - Lucia Pomello PY - 2022 UR - https://arxiv.org/abs/2001.08064 ID - 2001.08064 ER -