P. Baldan, A. Corradini, and U. Montanari, Contextual Petri Nets, Asymmetric Event Structures, and Processes, Information and Computation, vol.171, issue.1, pp.1-49, 2001.
DOI : 10.1006/inco.2001.3060

URL : http://doi.org/10.1006/inco.2001.3060

E. Best, R. R. Devillers, and M. Koutny, The Box Algebra=Petri Nets+Process Expressions, Information and Computation, vol.178, issue.1, pp.44-100, 2002.
DOI : 10.1016/S0890-5401(02)93117-2

R. Bruni, H. C. Melgratti, and E. Tuosto, Translating Orc Features into Petri Nets and the Join Calculus, WS-FM, pp.123-137, 2006.
DOI : 10.1007/11841197_8

J. Song-dong, Y. Liu-sun, and X. Zhang, Verification of Computation Orchestration Via Timed Automata, In ICFEM, pp.226-245, 2006.
DOI : 10.1007/11901433_13

J. Esparza, S. Römer, and W. Vogler, An improvement of McMillan's Unfolding Algorithm. Formal Methods in System Design, pp.285-310, 2002.

S. Hinz, K. Schmidt, and C. Stahl, Transforming BPEL to Petri Nets, Business Process Management, pp.220-235, 2005.
DOI : 10.1007/11538394_15

D. Kitchin, W. R. Cook, and J. Misra, A Language for Task Orchestration and Its Semantic Properties, Proc. of the Intl. Conf. on Concurrency Theory (CONCUR), 2006.
DOI : 10.1007/11817949_32

M. Koshkina and F. Van-breugel, Modelling and verifying web service orchestration by means of the concurrency workbench, ACM SIGSOFT Software Engineering Notes, vol.29, issue.5, pp.1-10, 2004.
DOI : 10.1145/1022494.1022526

N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg, Analyzing Interacting BPEL Processes, Business Process Management, pp.17-32, 2006.
DOI : 10.1007/11841760_3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Mairesse and T. Bousch, Asymptotic height optimization for topical IFS, Tetris heaps, and the finiteness conjecture, J. Amer. Math. Soc, vol.15, pp.77-111, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00165771

J. Mairesse and S. Gaubert, Modeling and Analysis of Timed Petri nets using Heaps of Pieces, IEEE Trans. Autom. Control, vol.44, issue.4, pp.683-697, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00165813

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, M. P. Wil, S. Van-der-aalst, M. Breutel et al., WofBPEL: A Tool for Automated Analysis of BPEL Processes, ICSOC, pp.484-489, 2005.
DOI : 10.1007/11596141_37

S. Rosario, A. Benveniste, S. Haar, and C. Jard, Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 2006.
DOI : 10.1109/ISoLA.2006.8

F. Van-breugel and M. Koshkina, Dead-Path-Elimination in BPEL4WS, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pp.192-201, 2005.
DOI : 10.1109/ACSD.2005.11

F. Van-breugel and M. Koshkina, Mod- els and Verification of BPEL, 2006.

G. Winskel, Event structures, Advances in Petri Nets, pp.325-392, 1986.
DOI : 10.1007/3-540-17906-2_31

URL : https://hal.archives-ouvertes.fr/hal-00148921

I. Unité-de-recherche, I. Rennes, and I. , Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.