Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!. In Lars M. Kristensen, Laure Petrucci, editors, Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings. Volume 6709 of Lecture Notes in Computer Science, pages 149-168, Springer, 2011. [doi]
Abstract is missing.