, Workflow resource patterns, BETA Working Paper Series, vol.127, 2004.
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems, ENTCS, vol.153, issue.2, pp.213-239, 2006. ,
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
Maude: specification and programming in rewriting logic, Theor. Comput. Sci, vol.285, issue.2, pp.187-243, 2002. ,
All About Maude -A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, LNCS, vol.4350, 2007. ,
Programming and symbolic computation in maude, J. Log. Algebraic Methods Program, vol.110, p.2020 ,
Stochastic Analysis of BPMN with Time in Rewriting Logic, Sci. Comput. Program, vol.168, pp.1-17, 2018. ,
A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models, Sci. Comput. Program, vol.183, 2019. ,
An Eye into the Future: Leveraging A-priori Knowledge in Predictive Business Process Monitoring, Proc. of BPM'17, vol.10445, pp.252-268, 2017. ,
Resource Allocation with Dependencies in Business Process Management Systems, Business Process Management Forum, pp.3-19 ,
, , 2016.
International Standard 19510, Information technology -Business Process Model and Notation, 2013. ,
VBPMN: Automated Verification of BPMN Processes, Proc. of IFM'17, vol.10510, pp.323-331, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01591665
, Scalable Process Discovery and Conformance Checking. Software & Systems Modeling, vol.17, pp.599-631, 2018.
Conditional Rewriting Logic as a Unified Model of Concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992. ,
Analysis of Resource-Constrained Processes with Colored Petri Nets, Proc. of CPN, vol.576, pp.251-266, 2005. ,
Quantitative Analysis of Resource-Constrained Business Processes, Trans. on Syst., Man, and Cybern, vol.42, issue.3, pp.669-684, 2012. ,
Semantics and Pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation, vol.20, pp.161-196, 2007. ,
Time and activity sequence prediction of business process instances, Computing, vol.100, issue.9, pp.1005-1031, 2018. ,
Resource Utilization Prediction in Decision-Intensive Business Processes, Proc. of SIMPDA, CEUR Workshop Proceedings, pp.128-141, 2017. ,
Learning Hybrid Process Models from Events -Process Discovery Without Faking Confidence, Proc. of BPM'17, vol.10445, pp.59-76, 2017. ,
Hand-Book on Statistical Distributions for Experimentalists, 2007. ,