Compositional safe approximation of response time probability density function of complex workflows

DOI10.1145/3591205zbMath1544.68101MaRDI QIDQ6599363

Marco Paolieri, Enrico Vicario, Laura Carnevali, Riccardo Reali

Publication date: 6 September 2024

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

zbMATH Keywords

compositional evaluationnon-Markovian processesrandomly generated structured modelsresponse-time probability density functionstochastic workflowsstochastic-time Petri nets

Mathematics Subject Classification ID

Stochastic approximation (62L20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Compositional safe approximation of response time probability density function of complex workflows