PEPA-K and definition of block-regular stochastic models

PEPA-K is the language used in Moebius to model computer systems. Moebius is a popular tool that allows for the performance and reliability analysis of software, hardware and telecommunication systems. Moebius allows the exact analysis of product-form models, that are models which can be decomposed into simpler components and whose properties are computed efficiently. In [1] an algorithm for computing the product form solution for models whose transition diagram has a regular structure is defined. This thesis aims at defining an algorithm to check if a model definition in PEPA-K satisfies the conditions required by the models considered in [1]. Furthermore, an implementation of that algorithms and a transformation of a PEPA-K model into a format computable by the tool shown in [1] is required.

1. Andrea Marin, Samuel Rota Bulò, Simonetta Balsamo: A Numerical Algorithm for theDecomposition of Cooperating Structured Markov Processes. MASCOTS 2012: 401-410