1MILNER 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.
2MILNER R.Communicating and Mobile Systems:The π-calculus[M].Cambridge:Cambridge University Press,1999.
3SMITH H,FINGAR P.Business Process Management-The Third Wave[M].Tampa:Meghan-Kiffer Press,2002.
4VAN 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.
5VAN DER ALAST WMP.Ter Hofstede AHM.Workflow Patterns[EB/OL].Http://www.tm.tue.nl/it/research/patterns,2003-03-10.
6LI CY,GOU J,WU HF,et al.A Process Meta-Model Supporting Domain Reuse[A].2005 International software process workshop[C].2005.459-461.
