[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] How to visualize the state graph?
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