A transition event (or simply event) on a state set is an element
of a binary relation on state set that signifies the transition from one state to another. An event is defined by a condition function which evaluates a Boolean function in state and by an action function .