1. The application of petri nets to workflow management;Aalst;The Journal of Circuits, Systems and Computers,1998
2. A petri net based workflow analyzer;Aalst;Systems Analysis—Modelling-Simulation,1999
3. Business process redesign: A petri-net based approach;Aalst;Computers in Industry,1996
4. Use case maps for the capture and validation of distributed systems requirements;Amyot,1999
5. The self-serv environment for web services composition;Benatallah;IEEE Computer,2003