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