Kirsten Lenz Andreas Oberweis Workflow Services: A Petri Net-Based Approach to Web Services. 35-41 2004 ISoLA (Preliminary proceedings) conf/isola/2004i db/conf/isola/isola2004i.html#LenzKO04