Knot
Node (Connective Junction) 
— this is the junction point of the transitions in the system. A node can be a junction point, a branch point, or a transition endpoint.
|
If a transition from a node forms a cycle, then there must always be an unconditional transition from each node of the cycle in order to avoid a solver error. For example:
|
Using nodes and transitions (without states), you can build transition graphs.