, Workflow resource patterns, BETA Working Paper Series, vol.127, 2004.

G. Agha, J. Meseguer, and K. Sen, PMaude: Rewrite-based Specification Language for Probabilistic Object Systems, ENTCS, vol.153, issue.2, pp.213-239, 2006.

A. Bouhoula, J. Jouannaud, and J. Meseguer, Specification and Proof in Membership Equational Logic, Theoretical Comput. Sci, vol.236, issue.1, pp.35-132, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00099079

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., Maude: specification and programming in rewriting logic, Theor. Comput. Sci, vol.285, issue.2, pp.187-243, 2002.

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, LNCS, vol.4350, 2007.

F. Durán, S. Eker, S. Escobar, N. Martí-oliet, J. Meseguer et al., Programming and symbolic computation in maude, J. Log. Algebraic Methods Program, vol.110, p.2020

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, C. Rocha, and G. Salaün, A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models, Sci. Comput. Program, vol.183, 2019.

C. D. Francescomarino, C. Ghidini, F. M. Maggi, G. Petrucci, and A. Yeshchenko, An Eye into the Future: Leveraging A-priori Knowledge in Predictive Business Process Monitoring, Proc. of BPM'17, vol.10445, pp.252-268, 2017.

G. Havur, C. Cabanillas, J. Mendling, and A. Polleres, Resource Allocation with Dependencies in Business Process Management Systems, Business Process Management Forum, pp.3-19

. Springer, , 2016.

. 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, Proc. of IFM'17, vol.10510, pp.323-331, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01591665

S. Leemans, D. Fahland, and W. Van-der-aalst, Scalable Process Discovery and Conformance Checking. Software & Systems Modeling, vol.17, pp.599-631, 2018.

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

N. Netjes, W. Van-der-aalst, and H. Reijers, Analysis of Resource-Constrained Processes with Colored Petri Nets, Proc. of CPN, vol.576, 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, issue.3, pp.669-684, 2012.

P. C. Ölveczky and J. Meseguer, Semantics and Pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation, vol.20, pp.161-196, 2007.

M. Polato, A. Sperduti, A. Burattin, and M. De-leoni, Time and activity sequence prediction of business process instances, Computing, vol.100, issue.9, pp.1005-1031, 2018.

S. Sperl, G. Havur, S. Steyskal, C. Cabanillas, A. Polleres et al., Resource Utilization Prediction in Decision-Intensive Business Processes, Proc. of SIMPDA, CEUR Workshop Proceedings, pp.128-141, 2017.

W. Van-der-aalst, R. De-masellis, C. D. Francescomarino, and C. Ghidini, Learning Hybrid Process Models from Events -Process Discovery Without Faking Confidence, Proc. of BPM'17, vol.10445, pp.59-76, 2017.

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