M. P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, Service-Oriented Computing: State of the Art and Research Challenges, Computer, vol.40, issue.11, pp.38-45, 2007.
DOI : 10.1109/MC.2007.400

P. R. Telang and M. P. Singh, Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach, IEEE Transactions on Services Computing, vol.5, issue.3, pp.1-14, 2011.
DOI : 10.1109/TSC.2011.4

A. Barker, C. D. Walton, and D. Robertson, Choreographing Web Services, IEEE Transactions on Services Computing, vol.2, issue.2, pp.152-166, 2009.
DOI : 10.1109/TSC.2009.8

F. Rosenberg, C. Enzi, A. Michlmayr, C. Platzer, and S. Dustdar, Integrating Quality of Service Aspects in Top-Down Business Process Development Using WS-CDL and WS-BPEL, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), p.15, 2007.
DOI : 10.1109/EDOC.2007.23

A. Barker, P. Besana, D. Robertson, and J. B. Weissman, The benefits of service choreography for data-intensive computing, Proceedings of the 7th international workshop on Challenges of large applications in distributed environments, CLADE '09, pp.1-10, 2009.
DOI : 10.1145/1552315.1552317

O. Kopp, F. Leymann, and S. Wagner, Modeling Choreographies: BPMN 2.0 versus BPEL-based Approaches, 2011.

G. Decker and A. Barros, Interaction Modeling Using BPMN, Proceedings of the 2007 international conference on Business process management (BPM'07, pp.208-219, 2008.
DOI : 10.1007/978-3-540-78238-4_22

O. Kopp, F. Leymann, and F. Wu, Mapping Interconnection Choreography Models to Interaction Choreography Models, 2nd Central- European Workshop on Services and their Composition, Services und ihre Komposition, ZEUS 2010., ser. CEUR Workshop Proceedings, pp.81-88, 2010.

Y. Xia, J. Chen, M. Zhou, and Y. Huang, A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies, Advances in Web and Network Technologies, and Information Management, pp.113-124, 2006.
DOI : 10.1137/1.9781611970081

Y. Xia, G. Dai, J. Li, T. Sun, and Q. Zhu, A model-driven approach to predicting dependability of WS-CDL based service composition, Concurrency and Computation: Practice and Experience, pp.1127-1145, 2011.
DOI : 10.1002/cpe.1692

D. Bruneo, S. Distefano, F. Longo, and M. Scarpa, QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets, 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS), pp.1-12, 2010.
DOI : 10.1109/IPDPS.2010.5470391

V. Valero, H. Macì-a, J. J. Pardo, M. E. Cambronero, and G. Díaz, Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets, Science of Computer Programming, vol.77, issue.3, pp.290-313, 2012.
DOI : 10.1016/j.scico.2011.05.002
URL : http://dx.doi.org/10.1016/j.scico.2011.05.002

C. Oliveira, R. Lima, T. Andre, and H. A. Reijers, Modeling and analyzing resource-constrained business processes, 2009 IEEE International Conference on Systems, Man and Cybernetics, pp.2824-2830, 2009.
DOI : 10.1109/ICSMC.2009.5346592
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.1902

R. M. Dijkman, M. Dumas, and C. Ouyang, Formal Semantics and Analysis of BPMN Process Models using Petri Nets Australian Research Council under Discovery Grant DP0451092, 2007.

P. Bonet, R. Puigjaner, P. D. Mallorca, W. J. Knottenbelt, S. K. Campus et al., PIPE v2.5: a Petri Net Tool for Performance Modeling, 2007.