pre_condition - Precondition

The precondition defines the set of valid states for an instance that may fire an event. An instance can fire an event only, when the precondition returns true for the instance before modification. If there is no precondition defined for the event any pre state of the instance may fire an event.