transitionFunction
P196085
predicate
Indicates how a system moves from one state to another based on a given input or condition.
P196085
predicate
Indicates how a system moves from one state to another based on a given input or condition.