Node
A node (connective junction) is a connection point for transitions in a system. A node can be a connection point, a branching point, or the end point of a transition.
If a transition from a node forms a loop, there must always be an unconditional transition from each node in the loop to avoid solver error. For example:
|
With the help of nodes and transitions (without states) we can construct transition graphs.