WorkflowNet2BPEL4VWS by K.B. Lassen & W.M.P. van der Aalst