Enabling Fluid Analysis for Queueing Petri Nets via Model Transformation
C. Müller, P. Rygielski, S. Spinner, and S. Kounev. Electronic Notes in Theoretical Computer Science, (2016)The 8th International Workshop on Practical Application of Stochastic Modeling, PASM 2016.
Abstract
Abstract Due to the growing size of modern \IT\ systems, their performance analysis becomes an even more challenging task. Existing simulators are unable to analyze the behavior of large systems in a reasonable time, whereas analytical methods suffer from the state space explosion problem. Fluid analysis techniques can be used to approximate the solution of high-order Markov chain models enabling time efficient analysis of large performance models. In this paper, we describe a model-to-model transformation from queueing Petri nets (QPN) into layered queueing networks (LQN). Obtained ŁQN\ models can benefit from three existing solvers: LINE, LQNS, LQSIM. ŁINE\ internally utilize fluid limits approximation to speed up the solving process for large models. We present the incentives for developing the automated model-to-model transformation and present a systematic approach that we followed in its design. We demonstrate the transformations using representative examples. Finally, we evaluate and compare the performance predictions of existing analytical, simulation and fluid analysis solvers. We analyze solvers' limitations, solving time, and memory consumption.
%0 Journal Article
%1 MuRySpKo2016-PASM-QPN-LQN-Transformation
%A Müller, Christoph
%A Rygielski, Piotr
%A Spinner, Simon
%A Kounev, Samuel
%D 2016
%I Elsevier
%J Electronic Notes in Theoretical Computer Science
%K Analytical_and_simulation-based_analysis Performance QPME QPN descartes t_journalmagazine t_workshop
%P 71--91
%T Enabling Fluid Analysis for Queueing Petri Nets via Model Transformation
%U http://www.sciencedirect.com/science/article/pii/S157106611630069X
%V 327
%X Abstract Due to the growing size of modern \IT\ systems, their performance analysis becomes an even more challenging task. Existing simulators are unable to analyze the behavior of large systems in a reasonable time, whereas analytical methods suffer from the state space explosion problem. Fluid analysis techniques can be used to approximate the solution of high-order Markov chain models enabling time efficient analysis of large performance models. In this paper, we describe a model-to-model transformation from queueing Petri nets (QPN) into layered queueing networks (LQN). Obtained ŁQN\ models can benefit from three existing solvers: LINE, LQNS, LQSIM. ŁINE\ internally utilize fluid limits approximation to speed up the solving process for large models. We present the incentives for developing the automated model-to-model transformation and present a systematic approach that we followed in its design. We demonstrate the transformations using representative examples. Finally, we evaluate and compare the performance predictions of existing analytical, simulation and fluid analysis solvers. We analyze solvers' limitations, solving time, and memory consumption.
@article{MuRySpKo2016-PASM-QPN-LQN-Transformation,
abstract = {Abstract Due to the growing size of modern \{IT\} systems, their performance analysis becomes an even more challenging task. Existing simulators are unable to analyze the behavior of large systems in a reasonable time, whereas analytical methods suffer from the state space explosion problem. Fluid analysis techniques can be used to approximate the solution of high-order Markov chain models enabling time efficient analysis of large performance models. In this paper, we describe a model-to-model transformation from queueing Petri nets (QPN) into layered queueing networks (LQN). Obtained \{LQN\} models can benefit from three existing solvers: LINE, LQNS, LQSIM. \{LINE\} internally utilize fluid limits approximation to speed up the solving process for large models. We present the incentives for developing the automated model-to-model transformation and present a systematic approach that we followed in its design. We demonstrate the transformations using representative examples. Finally, we evaluate and compare the performance predictions of existing analytical, simulation and fluid analysis solvers. We analyze solvers' limitations, solving time, and memory consumption.},
added-at = {2020-04-05T23:07:24.000+0200},
author = {M{\"u}ller, Christoph and Rygielski, Piotr and Spinner, Simon and Kounev, Samuel},
biburl = {https://www.bibsonomy.org/bibtex/225b9ac898be9e81f4713f38d43335d47/se-group},
interhash = {b7012166d19c0a572c27ff7c5fcd5e49},
intrahash = {25b9ac898be9e81f4713f38d43335d47},
journal = {Electronic Notes in Theoretical Computer Science},
keywords = {Analytical_and_simulation-based_analysis Performance QPME QPN descartes t_journalmagazine t_workshop},
note = {The 8th International Workshop on Practical Application of Stochastic Modeling, PASM 2016},
pages = {71--91},
publisher = {Elsevier},
timestamp = {2020-10-06T14:05:34.000+0200},
title = {{Enabling Fluid Analysis for Queueing Petri Nets via Model Transformation}},
url = {http://www.sciencedirect.com/science/article/pii/S157106611630069X},
volume = 327,
year = 2016
}