Resource provisioning strategies for BPMN processes: Specification and analysis using Maude - Durán, Francisco; Rocha, Camilo; Salaün, Gwen (Journal of logical and algebraic methods in programming, 2021)
Keywords: BPMN; Business processes; Computer Science; Maude; Resource provisioning; Rewriting logic; Simulation-based analysis; Software Engineering; BPMN; Maude; Rewriting logic; Resource provisioning; Simulation-based analysis; Business processes; simulation-based analysis; resource provisioning; rewriting logic; automated verification