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.
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