H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, Proc. of FORTE'01, pp.377-394, 2001.
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396

. Vbpmn-framework,

. Omg, Business Process Model and Notation (BPMN)-Version 2.0, 2011.

I. Iso/iec and . Standard, Information technology-Business Process Model and Notation, 2013.

R. Dijkman, M. Dumas, and C. Ouyang, Semantics and Analysis of Business Process Models in BPMN, Inf. Softw. Technol, vol.50, issue.12, pp.1281-1294, 2008.

P. Wong and J. Gibbons, A Process Semantics for BPMN, Proc. of ICFEM'08, pp.355-374, 2008.

F. Kossak, C. Illibauer, V. Geist, J. Kubovy, C. Natschläger et al., A Rigorous Semantics for BPMN 2.0 Process Diagrams, 2014.

R. Mateescu, G. Salaün, and L. Ye, Quantifying the Parallelism in BPMN Processes using Model Checking, Proc. of CBSE'14, pp.159-168, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01016412

M. Güdemann, P. Poizat, G. Salaün, and L. Ye, VerChor: A Framework for the Design and Verification of Choreographies, IEEE Trans. Services Computing, vol.9, issue.4, pp.647-660, 2016.

J. Koehler and J. Vanhatalo, Process Anti-patterns: How to Avoid the Common Traps of Business Process Modeling, Tech. rep., iBM Research Report, vol.3678, 2007.

M. Dam, Model Checking Mobile Processes, vol.715, pp.22-36, 1993.

D. Fahland, C. Favre, B. Jobstmann, J. Koehler, N. Lohmann et al., Instantaneous soundness checking of industrial business process models, Proc. of BPM'09, vol.5701, pp.278-293, 2009.

H. N. Nguyen, P. Poizat, and F. Za¨?diza¨?di, A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies, Proc. of ICSOC'12, pp.525-532, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01367304

W. Van-der-aalst, A. Ter-hofstede, B. Kiepuszewski, and A. Barros, Workflow Patterns, Distributed and Parallel Databases, vol.14, pp.5-51, 2003.

M. C. Cornax, A. Krishna, A. Mos, and G. Salaün, Automated Analysis of Industrial Workflow-based Models, Proc. of SAC'18, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01781315

F. Durán and G. Salaün, Verifying Timed BPMN Processes using Maude, Proc. of COORDINATION, vol.10319, pp.219-236, 2017.

D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, F. Lang et al., , 2018.

L. Iso, Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, Tech. Rep, vol.8807, 1989.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, vol.2, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

D. R. Christiansen, M. Carbone, and T. T. Hildebrandt, Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways, Proc. of WSFM'10, vol.6551, pp.146-160, 2011.

R. J. Van-glabbeek and W. P. Weijland, Branching Time and Abstraction in Bisimulation Semantics, J. ACM, vol.43, issue.3, pp.555-600, 1996.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in Property Specifications for Finite-State Verification, pp.411-420, 1999.
DOI : 10.1109/icse.1999.841031

A. Arnold, Finite Transition Systems-Semantics of Communicating Systems, 1994.

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, J. ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, vol.5014, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

W. M. 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.

Z. Yan, E. Cimpian, M. Zaremba, and M. Mazzara, Semantic Business Process Modeling and WSMO Extension, Proc. of ICWS'07, pp.1185-1186, 2007.
DOI : 10.1109/icws.2007.60

J. Lee, G. Yost, and . Group, The PIF process interchange format and framework, 1994.

A. Martens, Analyzing Web Service Based Business Processes, Proc. of FASE'05, vol.3442, pp.19-33, 2005.
DOI : 10.1007/978-3-540-31984-9_3
URL : https://link.springer.com/content/pdf/10.1007%2F978-3-540-31984-9_3.pdf

G. Decker and M. Weske, Interaction-centric Modeling of Process Choreographies, Information Systems, vol.36, issue.2, pp.292-312, 2011.
DOI : 10.1016/j.is.2010.06.005

I. Raedts, M. Petkovic, Y. S. Usenko, J. M. Van-der-werf, J. F. Groote et al., Transformation of BPMN Models for Behaviour Analysis, Proc. of MSVVEIS'07, pp.126-137, 2007.

F. Corradini, A. Polini, B. Re, and F. Tiezzi, An Operational Semantics of BPMN Collaboration, Proc. of FACS'15, vol.9539, pp.161-180, 2015.
DOI : 10.1007/978-3-319-28934-2_9

N. El-saber and A. Boronat, BPMN Formalization and Verification using Maude, Proc. of BM-FA, pp.1-8, 2014.
DOI : 10.1145/2630768.2630769

P. Wong and J. Gibbons, Verifying Business Process Compatibility, Proc. of QSIC'08, pp.126-131, 2008.
DOI : 10.1109/qsic.2008.6

P. Y. Wong and J. Gibbons, A Relative Timed Semantics for BPMN, Electr. Notes Theor. Comput. Sci, vol.229, issue.2, pp.59-75, 2009.
DOI : 10.1016/j.entcs.2009.06.029
URL : https://doi.org/10.1016/j.entcs.2009.06.029

M. I. Capel and L. E. Morales, Automating the Transformation from BPMN Models to CSP+T Specifications, Proc. of SEW, pp.100-109, 2012.
DOI : 10.1109/sew.2012.17

L. Mendoza-morales, M. Capel, and M. Pérez, Conceptual Framework for Business Processes Compositional Verification, vol.54, pp.149-161, 2012.

V. Lam, Foundation for Equivalences of BPMN Models, Theoretical and Applied Informatics, vol.24, issue.1, pp.33-66, 2012.
DOI : 10.2478/v10179-012-0003-6
URL : https://taai.iitis.pl/taai/article/download/350/taai-vol.24-no.1-pp.33

K. Kluza and K. Kaczor, Overview of BPMN Model Equivalences. Towards Normalization of BPMN Diagrams, Proc. of KESE'12, pp.38-45, 2012.

M. Reichert and B. Weber, Enabling Flexibility in Process-Aware Information Systems-Challenges, Methods, Technologies, 2012.
DOI : 10.1007/978-3-642-30409-5

M. Weidlich, R. M. Dijkman, and M. Weske, Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences, Comput. J, vol.55, issue.11, pp.1398-1418, 2012.
DOI : 10.1093/comjnl/bxs014

B. F. Van-dongen, R. M. Dijkman, and J. Mendling, Measuring Similarity between Business Process Models, pp.450-464, 2008.

A. K. De-medeiros, W. M. Van-der-aalst, and A. J. Weijters, Quantifying Process Equivalence Based on Observed Behavior, Data Knowl. Eng, vol.64, issue.1, pp.55-74, 2008.

P. Poizat, G. Salaün, and A. Krishna, Checking Business Process Evolution, Proc. of FACS'16, vol.10231, pp.36-53, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01366641

N. Coste, H. Garavel, H. Hermanns, F. Lang, R. Mateescu et al., Ten Years of Performance Evaluation for Concurrent Systems using CADP, Proc. of ISoLA'10, pp.128-142, 2010.
DOI : 10.1007/978-3-642-16561-0_18
URL : https://hal.archives-ouvertes.fr/inria-00532914