Translating workflow nets to BPEL door K. Bisgaard Lassen & W.M.P. van der Aalst