next up previous contents
Next: Finding solution Up: Using PReMo in practice Previous: Graph generation and exporting   Contents

Equation system generation

In the case of RMC and 1-exit RSSG the user by selecting Run $ \to$ Generate Equations $ \to$ 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 $ \infty$).

Figure 10: Saving a graph as a dot source file
Image choosingFile

Dominik Wojtczak 2006-10-31