3Jensen K. Coloured Petri Nets. Berlin: Springer-Verlag, 1997
4van der Aalst W M P, ter Hofstede A H M,et al. Workflow Patterns. Distributed and Parallel Databases,2003,14(1) : 5-51
5van der Aalst W M P, ter Hofstede A H M. YAWL,. yet another workflow language. Information Systems,2005,30(4) : 245-275
6Moldt D, Rolke H. Pattern Based Workflow Design Using Reference Nets, van der Aalst W M P, et al. eds, BPM 2003, LNCS 2678. 246-260
7MILNER R.The polyadic π–Calculus:A tutorial[A].BAUER FL,BRAUER W,SCHWICHTENBERG H,eds.Logic and Algebra of Specification[C].Berlin:Springer-Verlag,1993.203-246.
8MILNER R.Communicating and Mobile Systems:The π-calculus[M].Cambridge:Cambridge University Press,1999.
9SMITH H,FINGAR P.Business Process Management-The Third Wave[M].Tampa:Meghan-Kiffer Press,2002.
10VAN DER AALST WMP.Pi calculus versus petri nets:Let us eat "humble pie" rather than further inflate the "pi hype"[EB/OL].Http://is.tm.tue.nl/research/patterns/download/pi-hype.pdf,2005-05-31.
