To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

export the Dot File?

Hello, I am looking for a way to get the used dot file when generating a state graph. Unfortunately this is not stored internally in a file by the program, it will processed immediately. But maybe someone knows a way to get to the dot file anyway?

Thank you for your answers
LG Kinx


  • Hello LG,

    If the layout of the state graph is indeed generated by dot, then using CTRL+i you can typically save the image to a number of formats, including dot. However, dot is not always used to layout graphs, and the state graphs may be an example where dot is not used. In such a case, you can try to visualize the state graph using the "Visualize Transition System (Dot)" first, after which you could save it as a dot file.

    Kind regards,

  • nice. CTRL+i helps :) Tanks you
Sign In or Register to comment.