TY - RPRT TI - Discovering Relaxed Sound Workflow Nets using Integer Linear Programming AU - S. J. van Zelst AU - B. F. van Dongen AU - W. M. P. van der Aalst AU - H. M. W. Verbeek PY - 2017 DO - 10.1007/s00607-017-0582-5 UR - https://arxiv.org/abs/1703.06733 ID - 1703.06733 ER -