In the case of RMC and 1-exit RSSG the user by selecting *Run Generate Equations Termination probability* can generate a set of equations that the Least Fixed Point(LFP) solution gives exactly the probability of termination at any exit of all the components, starting at any node of the exit's component. Also for 1-exit RMC and 1-exit RSSG the user can generate an equation system for which the LFP solution gives a solution to the problem of computing the average number of steps needed to terminate from a given node at the exit of the same component (and gives as an answer *Infinity* if the termination time is ).

Dominik Wojtczak 2006-10-31