Once a model is successfully parsed, Markovian analysis can begin via state space derivation of the underlying Markov chain.
To derive the state space of the model in the active editor in the workbench, select PEPA > CTMC > Derive.
A tabular representation of the derived state space is shown in the State Space View