W. M. Van-der-aalst, THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT, Journal of Circuits, Systems and Computers, vol.08, issue.01, pp.21-66, 1998.
DOI : 10.1142/S0218126698000043

J. Arias-fisteus, L. S. Fernández, and C. Delgado-kloos, Applying model checking to BPEL4WS business collaborations, SAC, pp.826-830, 2005.

A. Keller and H. Ludwig, The wsla framework: Specifying and monitoring service level agreements for web services, J. Network Syst. Manage, vol.11, issue.1, 2003.

D. Kitchin, W. R. Cook, and J. Misra, A Language for Task Orchestration and Its Semantic Properties, In CONCUR, pp.477-491, 2006.
DOI : 10.1007/11817949_32

G. Marco-ajmone-marsan, G. Balbo, S. Conte, G. Donatelli, and . Franceschinis, Modelling with generalized stochastic petri nets, SIGMETRICS Performance Evaluation Review, vol.26, issue.22, 1998.

J. Misra and W. R. Cook, Computation orchestra- tion: A basis for wide-area computing, Journal of Software and Systems Modeling, pp.10270-10276, 2006.

C. Ouyang, E. Verbeek, W. M. Van-der-aalst, and S. Breutel, Formal semantics and analysis of control flow in WS-BPEL, Science of Computer Programming, vol.67, issue.2-3, 2005.
DOI : 10.1016/j.scico.2007.03.002

S. Rosario, A. Benveniste, S. Haar, and C. Jard, Probabilistic QoS and soft contracts for transaction based web services, ICWS, pp.126-133, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00638311

S. Rosario, D. Kitchin, A. Benveniste, W. Cook, S. Haar et al., Event Structure Semantics of Orc, WSFM, 2007.
DOI : 10.1007/978-3-540-79230-7_11
URL : https://hal.archives-ouvertes.fr/inria-00638299

M. P. Wil and . Van-der-aalst, Verification of workflow nets, ICATPN, pp.407-426, 1997.