Graph generation and exporting as an image

If our model is an RMC or an RSSG then after successful parsing we will be able to generate the underlying transition graph as a dot input file from the Run $\to$ Generate graph option. We can see an example on the fig. 7

Figure 7: Generated graph source as a dot file

Once we generate a graph we can save it as a dot file for further processing (fig. 10) or if we have a dot processing system installed on our system eg. GraphViz, we can export as an image directly from the menu File $\to$ Export as $\to$ PS $\vert$ JPEG $\vert$ GIF $\vert$ PNG int a desired image format.

Figure 8: Exporting a graph as a image

Figure 9: Saving a graph as a dot source file