T. Erl, Service-Oriented Architecture: Concepts, Technology, and Design, 2005.

K. Jensen and L. M. Kristensen, Coloured Petri Nets -Modelling and Validation of Concurrent Systems, 2009.

W. M. Van-der-aalst, T. Hofstede, A. H. Kiepuszewski, B. Barros, and A. P. , Workflow Patterns, Distrib. Parallel Databases, vol.26, issue.8, pp.5-51, 2003.
DOI : 10.1007/978-1-4899-7993-3_826-2

N. Russell, A. H. Hofstede, and N. Mulyar, Workflow control-flow patterns: A revised view, Tech. Rep, 2006.

C. Guidi, R. Lucchi, R. Gorrieri, N. Busi, and G. Zavattaro, SOCK: A Calculus for Service Oriented Computing, ICSOC 2006, pp.327-338, 2006.
DOI : 10.1007/11948148_27

M. Gabbrielli, S. Giallorenzo, and F. Montesi, Executable SOAs exploiting workflow patterns, Tech. Rep

W. Group, Web services choreography description language version 1, 2004.

M. Carbone and F. Montesi, Deadlock freedom by design: multiparty asynchronous global programming. SIGPLAN Not, pp.263-274, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909320

D. Preda, M. Lanese, I. Mauro, J. Gabbrielli, M. Giallorenzo et al., Deadlock freedom by construction for distributed adaptative applications, Tech. Rep

A. Barros, M. Dumas, and A. H. Ter-hofstede, Service Interaction Patterns, BPM 2005, pp.302-318, 2005.
DOI : 10.1007/11538394_20

J. Mendes, P. Leitao, F. Restivo, and A. Colombo, Composition of Petri nets models in service-oriented industrial automation, 2010 8th IEEE International Conference on Industrial Informatics, pp.578-583, 2010.
DOI : 10.1109/INDIN.2010.5549677

N. Lohmann, O. Kopp, F. Leymann, and W. Reisig, Analyzing BPEL4Chor: Verification and Participant Synthesis, WS-FM 2007, pp.46-60, 2008.
DOI : 10.1007/978-3-540-79230-7_4

P. Wohed, W. M. Van-der-aalst, M. Dumas, and A. H. Ter-hofstede, Analysis of Web Services Composition Languages: The Case of BPEL4WS, ER 2003, pp.200-215, 2003.
DOI : 10.1007/978-3-540-39648-2_18

W. M. Van-der-aalst, M. Dumas, A. H. Ter-hofstede, and P. Wohed, Patternbased analysis of BPML (and WSCI). FIT-TR, 2002.

C. Guidi, S. Giallorenzo, and M. Gabbrielli, Towards a composition-based APIaaS layer
URL : https://hal.archives-ouvertes.fr/hal-01090125