A Boolean expression associated with a state transition in a state diagram or state table. The expression must be satisfied for that state transition to be executed.
A condition that must be satisfied in order to cause an associated transition to fire. (empty)
A guard condition is a boolean expression that must be satisfied in order to enable an associated transition to fire.