Step 3: Solving the Model (Analytically)

Once the state-transition matrix is generated, we can solve the model and obtain steady-state or transient measures. To solve the model, click on the ``Analytical Model Solution button''. The corresponding graphical interface for steady state solution of a Markovian model is shown in Figure .

Figure: Steady State Analytical Methods.

Several solution methods are available. For detailed information on the use of different solvers see Chapter . In this example, we will use the method. To select the GTH method, choose Solution Methods $\rightarrow$ Stationary $\rightarrow$ Exact$\rightarrow$ GTH. The file generated by the solver is $<$name of the model$>$.SS.gth. This file contains the stationary state probability vector and will be used as the input of the Measures of Interest Module.