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 Generate graph option. We can see an example on the fig. 7
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 Export as PS JPEG GIF PNG int a desired image format.