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

M. P. Wil and . Van-der-aalst, The application of Petri nets to workflow management, Journal of Circuits, Systems, and Computers, vol.8, issue.1, pp.21-66, 1998.

M. P. Wil and . Van-der-aalst, Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries. Information and Management, pp.67-75, 2000.

M. P. Wil and . Van-der-aalst, Inheritance of interorganizational workflows: How to agree to disagree without loosing control? Information Technology and Management, pp.345-389, 2003.

J. Dehnert and P. Rittgen, Relaxed Soundness of Business Processes, CAiSE'01, pp.157-170, 2001.
DOI : 10.1007/3-540-45341-5_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.196.2752

D. Grigori, J. C. Corrales, and M. Bouzeghoub, Behavioral matchmaking for service retrieval, 2006 IEEE International Conference on Web Services (ICWS'06), pp.145-152, 2006.
DOI : 10.1109/ICWS.2006.37
URL : https://hal.archives-ouvertes.fr/hal-00324539

S. Haddad, J. Ilié, and K. Klai, Design and Evaluation of a Symbolic and Abstraction-Based Model Checker, pp.196-210, 2004.
DOI : 10.1007/978-3-540-30476-0_19
URL : https://hal.archives-ouvertes.fr/hal-01520375

K. Klai and H. Ochi, Modular verification of inter-enterprise business processes, The Fourth International Conference on Information, Process, and Knowledge Management, pp.155-161, 2012.
DOI : 10.1016/j.datak.2011.01.007

K. Klai and L. Petrucci, Modular construction of the symbolic observation graph, 2008 8th International Conference on Application of Concurrency to System Design, pp.88-97, 2008.
DOI : 10.1109/ACSD.2008.4574600

K. Klai and D. Poitrenaud, MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs, pp.288-306, 2008.
DOI : 10.1007/978-3-540-68746-7_20
URL : https://hal.archives-ouvertes.fr/hal-01304897

K. Klai, S. Tata, and J. Desel, Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes, Data & Knowledge Engineering, vol.70, issue.5, pp.467-482, 2011.
DOI : 10.1016/j.datak.2011.01.007
URL : https://hal.archives-ouvertes.fr/hal-00434465

N. Lohmann and K. Wolf, Petrifying Operating Guidelines for Services, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.80-88, 2009.
DOI : 10.1109/ACSD.2009.11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.9436

A. Martens, On compatibility of web services. Petri Net Newsletter, Special Interest Groups on Petri Nets and Related Systems Models, pp.12-20, 2003.

A. Martens, Usability of web services, Fourth International Conference on Web Information Systems Engineering Workshops, 2003. Proceedings., 2003.
DOI : 10.1109/WISEW.2003.1286801

F. Puhlmann and M. Weske, Interaction Soundness for Service Orchestrations, Service-Oriented Computing -ICSOC 2006, pp.302-313, 2006.
DOI : 10.1007/11948148_25

J. Siegeris and A. Zimmermann, Workflow Model Compositions Preserving Relaxed Soundness, 4th International Conference on Business Process Management, pp.177-192, 2006.
DOI : 10.1007/11841760_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.7415

M. P. Wil, . Van-der-aalst, M. Kees, R. A. Van-hee, and . Van-der-toorn, Component-based software architectures: a framework based on inheritance of behavior, Sci. Comput. Program, vol.42, issue.2-3, pp.129-171, 2002.

M. Kees, N. Van-hee, M. Sidorova, and . Voorhoeve, Soundness and separability of workflow nets in the stepwise refinement approach, ICATPN, pp.337-356, 2003.