Currently the initial node looks like a standard node but has the fake INITIAL event on the outgoing edges, while the terminal node has the fake TERMINAL event within the node label. Find a reasonable way to make these two consistent.
The easiest way would be to put INITIAL back into the initial state and remove it from its outgoing edges. The model would still be mostly state based but would have two nodes with labels within them, initial and terminal.
Something harder but prettier would be to remove the initial state and but somehow leave its formerly-outgoing edges without a source (standard state-based FSM notation for "initial" nodes).
Regarding the terminal node, d3 doesn't natively support a double circle node shape, although custom node shapes are supported.
[Issue created by ohmann: 2015-10-27]
[Last updated on bitbucket: 2015-10-28]
[Comment created by ohmann: 2015-10-28]
Easiest solution implemented. Merged in: a632f818a679
Currently the initial node looks like a standard node but has the fake INITIAL event on the outgoing edges, while the terminal node has the fake TERMINAL event within the node label. Find a reasonable way to make these two consistent.
The easiest way would be to put INITIAL back into the initial state and remove it from its outgoing edges. The model would still be mostly state based but would have two nodes with labels within them, initial and terminal.
Something harder but prettier would be to remove the initial state and but somehow leave its formerly-outgoing edges without a source (standard state-based FSM notation for "initial" nodes).
Regarding the terminal node, d3 doesn't natively support a double circle node shape, although custom node shapes are supported.
[Issue created by ohmann: 2015-10-27] [Last updated on bitbucket: 2015-10-28]
[Comment created by ohmann: 2015-10-28] Easiest solution implemented. Merged in: a632f818a679