Performance evaluation methodologies based on structured Markov chains have taken a more prominent role over the last two decades. During this time, due to the strong exploitation of the involved structures, the techniques used to assess the performance measures of interest have advanced significan…
Performance evaluation methodologies based on structured Markov chains have taken a more prominent role over the last two decades. During this time, due to the strong exploitation of the involved structures, the techniques used to assess the performance measures of interest have advanced significantly in terms of their efficiency, while becoming more complex at the same time. This increased complexity often acts as an opposing force to a more wide spread use of these advanced methodologies. Making these novel techniques more accessible via a set of software tools is therefore essential to further promote their integration in the system design.