Transisitions are functions which take source output as their input. Transition output is passes to its target as input.
Only one transition is activated by the source output. Transitions are evauated for activation in the the order defined by the order
property. Transitions within the same order are ordered by type specificity, if it is supported. Within the same type (or absense of thereof) transitions with conditions are evaluated before transition(s) without conditions.