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
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.