W. M. Van-der-aalst, Process Mining -Data Science in Action, 2016.

W. M. Van-der-aalst and B. F. Van-dongen, Engineering and Deployment of Cooperative Information Systems, First International Conference, pp.45-63, 2002.

C. Arévalo, M. J. Cuaresma, I. M. Ramos, and M. Domínguez-muñoz, A metamodel to integrate business processes time perspective in BPMN 2, Information & Software Technology, vol.77, pp.17-33, 2016.

A. Bouhoula, J. Jouannaud, and J. Meseguer, Specification and proof in membership equational logic, Theoretical Computer Science, vol.236, pp.35-132, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00099079

K. R. Braghetto, J. E. Ferreira, and J. Vincent, Performance evaluation of business processes through a formal transformation to SAN, pp.42-56, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00788798

R. Bruni, A. Corradini, G. L. Ferrari, T. Flagella, R. Guanciale et al., Applying process analysis to the italian egovernment enterprise architecture, Web Services and Formal Methods -8th International Workshop, WS-FM 2011, pp.111-127, 2011.

M. I. Capel and L. E. Mendoza, Automating the transformation from BPMN models to CSP+T specifications, 35th Annual IEEE Software Engineering Workshop, SEW 2012, pp.100-109, 2012.

D. R. Christiansen, M. Carbone, and T. T. Hildebrandt, Formal semantics and implementation of BPMN 2.0 inclusive gateways, Web Services and Formal Methods -7th International Workshop, WS-FM 2010, pp.146-160, 2010.

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude -A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, Lecture Notes in Computer Science, vol.4350, 2007.

R. M. Dijkman, M. Dumas, and C. Ouyang, Semantics and analysis of business process models in BPMN, Information & Software Technology, vol.50, pp.1281-1294, 2008.

F. Durán, C. Rocha, and G. Salaün, A Note on Resource Allocation Analysis of BPMN Processes, 2018.

F. Durán, C. Rocha, and G. Salaün, Computing the parallelism degree of timed BPMN processes, Software Technologies: Applications and Foundations -STAF 2018 Collocated Workshops, pp.320-335, 2018.

F. Durán, C. Rocha, and G. Salaün, Stochastic analysis of BPMN with time in rewriting logic, Sci. Comput. Program, vol.168, pp.1-17, 2018.

F. Durán and G. Salaün, Verifying timed BPMN processes using maude, Coordination Models and Languages -19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, pp.219-236, 2017.

N. A. El-saber and A. Boronat, BPMN formalization and verification using maude, Proceedings of the 2014 Workshop on Behaviour Modelling -Foundations and Applications, pp.1-8, 2014.

D. Gagné and A. Trudel, Time-bpmn, 2009 IEEE Conference on Commerce and Enterprise Computing, pp.361-367, 2009.

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

A. Krishna, P. Poizat, and G. Salaün, VBPMN: automated verification of BPMN processes, Integrated Formal Methods -13th International Conference, pp.323-331, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01591665

J. Li, Y. Fan, and M. Zhou, Performance Modeling and Analysis of Workflow, IEEE Transactions on Systems, Man, and Cybernetics, vol.34, pp.229-242, 2004.

R. Mateescu, G. Salaün, and L. Ye, Quantifying the parallelism in BPMN processes using model checking, CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp.159-168, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01016412

L. E. Mendoza, M. I. Capel, and M. A. Pérez, Conceptual framework for business processes compositional verification, Information & Software Technology, vol.54, pp.149-161, 2012.

J. Meseguer, Conditional Rewriting Logic as a Unified Model of Concurrency, Theoretical Computer Science, vol.96, pp.73-155, 1992.

L. E. Morales, M. I. Tuñón, and M. A. Pérez, A formalization proposal of timed BPMN for compositional verification of business processes, Enterprise Information Systems -12th International Conference, ICEIS 2010, pp.388-403, 2010.

M. Netjes, W. M. Van-der-aalst, and H. A. Reijers, Analysis of Resource-Constrained Processes with Colored Petri Nets, Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp.251-266, 2005.

C. Oliveira, R. Lima, H. Reijers, and J. Ribeiro, Quantitative Analysis of Resource-Constrained Business Processes, Trans. on Syst., Man, and Cybern, vol.42, pp.669-684, 2012.

C. A. Oliveira, R. M. Lima, T. Andre, and H. A. Reijers, Modeling and analyzing resource-constrained business processes, Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pp.2824-2830, 2009.

P. C. Ölveczky and J. Meseguer, Semantics and pragmatics of real-time maude, Higher-Order and Symbolic Computation, vol.20, pp.161-196, 2007.

, Business process model and notation (BPMN) -v 2.0, OMG, 2011.

P. Poizat and G. Salaün, Checking the realizability of BPMN 2.0 choreographies, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, pp.1927-1934, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00685393

P. Poizat, G. Salaün, and A. Krishna, Checking business process evolution, Formal Aspects of Component Software -13th International Conference, FACS 2016, pp.36-53, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01366641

I. Raedts, M. Petkovic, Y. S. Usenko, J. M. Van-der-werf, J. F. Groote et al., Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS, pp.126-137, 2007.

A. K. Schömig and H. Rau, A Petri Net Approach for the Performance Analysis of Business Processes, 1995.

S. Sperl, G. Havur, S. Steyskal, C. Cabanillas, A. Polleres et al., Resource utilization prediction in decision-intensive business processes, Proceedings of the 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2017), pp.128-141, 2017.

C. Walck, Hand-Book on Statistical Distributions for Experimentalists, 2007.

P. Y. Wong and J. Gibbons, A process semantics for BPMN, Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, pp.355-374, 2008.

P. Y. Wong and J. Gibbons, Verifying business process compatibility, Proceedings of the Eighth International Conference on Quality Software, pp.126-131, 2008.

P. Y. Wong and J. Gibbons, A relative timed semantics for BPMN, Electronic Notes in Theoretical Computer Science, vol.229, pp.59-75, 2009.