Inspired by the discussion at #80 I have come up with a new suggestion for visualizing the different types of "self transitions". I'm using Graphviz ability to process HTML-like labels: https://graphviz.org/doc/info/shapes.html#html
The different types of transitions are now grouped and presented with a heading, which describes their type.
Inspired by the discussion at #80 I have come up with a new suggestion for visualizing the different types of "self transitions". I'm using Graphviz ability to process HTML-like labels: https://graphviz.org/doc/info/shapes.html#html
The different types of transitions are now grouped and presented with a heading, which describes their type.
Exmaple
Is rendered this way: