I met some questions when using Gephi to open the dot output. It cannot recognize some edges in the file. So the graph it shows is totally different from toolbox graph. Here is the spec (from the hyperbook) and the dot output I used. Is it necessary to modify the file before I use it?
On 28.08.2018 11:31, Rachel Delafon wrote:
> Thank you very much for your answer.
> I feel embarrassed for annoying you with such a silly question. I
> thought I've checked all the tabs/pages... Apparently not!
> Even though my model state space is too big to be visualised (as you
> anticipated it), I've simplified it and now I have a nice graph to analyse.
for larger state spaces you might want to experiment with Cytospace 
or Gephi . For Cytospace you have to "massage" TLC's dot output first
Description: Binary data
Description: MS-Word document