V. D. Aalst, The application of petri nets to workflow management, 1998.

R. E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043
URL : http://akebono.stanford.edu/users/nanni/courses/EE318/bryant92.pdf

Y. Du, X. Li, and P. Xiong, A Petri Net Approach to Mediation-Aided Composition of Web Services, IEEE Transactions on Automation Science and Engineering, vol.9, issue.2, pp.429-435, 2012.
DOI : 10.1109/TASE.2012.2188511

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

R. Hamadi and B. Benatallah, A petri net-based model for web service composition, ADC '03, pp.191-200, 2003.

S. Hinz, K. Schmidt, and C. Stahl, Transforming BPEL to Petri Nets, BPM'05, pp.220-235, 2005.
DOI : 10.1007/11538394_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.4950

K. Klai and J. Desel, Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs, FMOODS/FORTE, pp.67-83, 2012.
DOI : 10.1007/978-3-642-30793-5_5

K. Klai and H. Ochi, Modular verification of inter-enterprise business processes, eKNOW, pp.155-161, 2012.

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, Petri Nets, 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, BPM'09 of LNCS, pp.294-309, 2009.
DOI : 10.1007/978-3-642-03848-8_20
URL : https://hal.archives-ouvertes.fr/hal-00434465

N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg, Analyzing Interacting BPEL Processes, BPM'06 of LNCS, pp.17-32, 2006.
DOI : 10.1007/11841760_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.3574

P. Massuthe, W. Reisig, and K. Schmidt, An operating guideline approach to the soa, Annals Of Mathematics, Computing and Teleinformatics, vol.1, pp.35-43, 2005.

C. A. Petri, Concepts of net theory, MFCS'73 Mathematical Institute of the Slovak Academy of Sciences, pp.137-146, 1973.

C. Stahl, P. Massuthe, and J. Bretschneider, Transactions on petri nets and other models of concurrency ii. chapter Deciding Substitutability of Services with Operating Guidelines, pp.172-191, 2009.

W. Van-der-aalst, K. Van-hee, A. Ter-hofstede, N. Sidorova, H. Verbeek et al., Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing: applicable formal methods, pp.333-363, 2010.

W. M. Van-der-aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf, Multiparty Contracts: Agreeing and Implementing Interorganizational Processes, The Computer Journal, vol.53, issue.1, pp.90-106, 2010.
DOI : 10.1093/comjnl/bxn064

P. Xiong, Y. Fan, and M. Zhou, A Petri Net Approach to Analysis and Composition of Web Services, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.40, issue.2, pp.376-387, 2010.
DOI : 10.1109/TSMCA.2009.2037018