Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes

DOI10.1007/978-3-319-66335-7_2zbMath1420.68143OpenAlexW2744096318MaRDI QIDQ5194923

Marco Biagi, Tommaso Papini, Enrico Vicario, Laura Carnevali, Marco Paolieri

Publication date: 17 September 2019

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-66335-7_2

zbMATH Keywords

Markov regenerative processenabling restrictionnon-deterministic analysisnon-Markovian Petri netsstochastic state class

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Compositional safe approximation of response time distribution of complex workflows ⋮ Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow

This page was built for publication: Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes