@techreport{RISC3369,author = {Tamas Berczes and Gabor Guta and Gabor Kusper and Wolfgang Schreiner and Janos Sztrik},
title = {{Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analyzing Retrial Queueing Systems}},
language = {english},
abstract = {We describe the results of analyzing the performance model of a retrial
queueing system with the probabilistic model checker PRISM. The system
has been previously analyzed with the help of the performance modeling environment
MOSEL; we are able to accurately reproduce the results reported
in literature. Furthermore, we compare PRISM and MOSEL with respect to
their modeling languages and ways of specifying performance queries and
benchmark the executions of the tools.},
number = {07-17},
year = {2007},
month = {December},
sponsor = {Austrian-Hungarian Scientific/Technical Cooperation Contract HU 13/2007},
length = {40},
type = {Project Report},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}