4W.M.P.van der Aalst. Verification of Workflow Nets,Applica- tion and Theory of Petri Nets 1997,volume 1248 of Lecture Notes in Computer Science,Berlin:Springer-Verlag,1997,407-426.
5van der Aalst W.M.P.,Mooij A.J.,Stahl,C.,Wolf, K..Service Interaction:Patterns,Formalization,and Analysis.Formal Methods for Web Services:gth International School on Formal Methods for the Design of Computer, Communication,and Software Systems [C],2009:42-88.
二级参考文献7
1袁崇义.Petri网原理[M].北京:电子工业出版社,2005.213—259.
2Bergstra J A,Ponse A,Smolka S A. Handbook of Process Algebra [ M]. North-Holland: Amster- dam, 2001.
3Best E, Devillers R, Koutny M. The box algebra= Petri nets q-process expressions~J~. Inf. Com-put.,2002,178(1):44-100.
4Huhns M N,Singh M P. Service-oriented compu- ting:Key concepts and principlesD-]. IEEE Inter-net Computing,2005,9(1) :75-81.
5St6rrle H. Models of Software Architecture[D]. Munich .. Ludwig Maximilians University, 2000.
