the state labels in the dot animation do not make sense -- omit or create more informative ones?
|Status:||Closed||Start date:||16 May 2009|
currently, the node labels that we show are state numbers in the order in which they are created - these probably can be better omitted, except that they give the user a way to refer to nodes in the graph - but they can not be related to, e.g., other graphs.
This would be different if we extend the underlying LTS states with the notion of a label.
The label of states that are directly derived from a model can then contain info from the model (if present - the default could still be just a state construction sequence number),
and the label of compound states can be constructed by joining together the labels of the constituent(?) states.
This would make the visualizations more informative.