References

  1. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros, “Workflow Patterns,” Distributed and Parallel Databases, 14(1):5-51, 2003.

  2. W. M. P. van der Aalst and A. H. M. ter Hofstede, “YAWL: Yet Another Workflow Language,”Information Systems, 30(4):245-275, 2005.

  3. P. Wohed, W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede, and N. Russell, “Pattern-based Analysis of UML Activity Diagrams,” BETA Working Paper Series, WP 129, Eindhoven University of Technology, Eindhoven, 2004.

  4. R. Milner, A Calculus of Communicating Systems, Secaucus, NJ, Springer, 1980.

  5. R. Milner, Communicating and Mobile Systems: The Pi-Calculus, Cambridge University Press, Cambridge, 1999.

  6. P. Gardner, “Models of Concurrent Computation” (course notes), http://www.doc.ic.ac.uk/~pg/Concurrency/course.html

  7. >L. Wischik, “Pi Calculus: Automata, State, Actions, and Interactions,” http://www.ebpml.org/pi-calculus.htm.

  8. G. T. Leavens,"Overview of the Pi-Calculus,” http://www.cs.iastate.edu/~leavens/FoCBS/henderson-node5.html

  9. W. M. P. van der Aalst and K. M. van Hee, Workflow Management: Models, Methods, and Systems, MIT Press, Cambridge, MA, 2004.

  10. W. M. P. van der Aalst and A. H. M. ter Hofstede, “Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Language,” in K. Jensen (editor), Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), volume 560 of DAIMI, pages 1-20, University of Aarhus, Denmark, August 2002.

  11. B. Kiepuszewski, ...

Get Essential Business Process Modeling now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial