4Pesic, M. , Schonenberg, M. H., Sidorova, N., van der Aalst, W. M. P. :Constraintbased workflow models:Change made eas- y. In:Meersman,R. ,Tari,Z. (eds.) OTM 2007,Part I. LNCS, vol. 4803 : 77-94.Springer, Heidelberg(2007).
5Baeten, WeijIland, process algebra cambrige university press, 1990.
6DOVIER A, PIAZZA C, POLICRITI A. An efficient algorithm for computing bisimulation equivalence[J]. Theoretical Com- puter Science, 2004,311 (1-3) : 221-256.
7Workflow Standards and Associated Documents www. wfmc. org,2008.
8Sangiorgi. D. On the Origins of Bisimulation and Coinductio[J]. ACM Transactions on Programming Languages and Systems, Vol. 31, No. 4, Article 15,2009.
9DENG Y,DU W. Logical,Metric,and Algorithmic Characteri- sations of Probabilistic Bisimulation [ R ]. [ S. l. ] :Camegie Mellori University, 2011.