[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Alen <4516...@xxxxxx>*Date*: Wed, 7 Nov 2018 00:11:48 -0800 (PST)*References*: <CAMCHOhPc=Re466v-MVvQSUVe1cDHx-+dazTUbm_A+A8_H=GdWA@mail.gmail.com> <1d302e9a-f37b-6d49-820f-ebe5620bb6cc@lemmster.de> <CAMCHOhPYLY8+h5OWv4jnT5GX3fjZ=Ab_r_qd4hS5ObR6zP_7eQ@mail.gmail.com> <ee4d2518-8d52-0144-e5f6-5ccdf0971bf7@lemmster.de>

Hi Markus,

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?

Thanks

Alen

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.

Hi Rachel,

for larger state spaces you might want to experiment with Cytospace [1]

or Gephi [2]. For Cytospace you have to "massage" TLC's dot output first

though [3].

Thanks

Markus

[1] http://cytoscape.org/index.html

[2] https://gephi.org/

[3] https://github.com/idekerlab/dot-app/issues/16

**Attachment:
Diehard.tla**

**Attachment:
Model_1.dot**

**Follow-Ups**:**Re: [tlaplus] How to visualize the state graph?***From:*Markus Kuppe

**References**:**How to visualize the state graph?***From:*Rachel Delafon

**Re: [tlaplus] How to visualize the state graph?***From:*Markus Kuppe

**Re: [tlaplus] How to visualize the state graph?***From:*Rachel Delafon

**Re: [tlaplus] How to visualize the state graph?***From:*Markus Kuppe

- Prev by Date:
**Re: [tlaplus] How does TLC work?** - Next by Date:
**Re: [tlaplus] An issue about coverage information** - Previous by thread:
**Re: [tlaplus] How to visualize the state graph?** - Next by thread:
**Re: [tlaplus] How to visualize the state graph?** - Index(es):