Differences
This shows you the differences between two versions of the page.
traversal_graph [2020/04/26 03:33] – external edit 127.0.0.1 | traversal_graph [2020/05/10 03:35] (current) – removed admin | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ===== Traversal Graph ===== | ||
- | //Traversal Graph// is a graphical representation of the model execution. Below is an example of a //Traversal Graph//. | ||
- | |||
- | {{http:// | ||
- | |||
- | |||
- | Each instance of the transition (arc) represents one traversal of the underlying transition. | ||
- | |||
- | The transition instances (arcs) are labeled with a sequence number which indicates the order of the traversal in the model execution. | ||
- | |||
- | By default, the graph is laid out left to right making the graph scale horizontally. | ||
- | |||
- | |||
- | //Traversal Graph// files are saved in the model folder. | ||
- | |||