The fictive events are events not explicitly defined in the model. Thus, they can be thought of as “Statemate-generated events.” They are essentially timeout events, enter/exit state events, and in-state conditions. Fictive events are generated only when necessary, i.e., only if the model uses
en(STATE)
and theenst_STATE
event is generated.event enst_CHANGE1 = FALSE;
event tmenst_CHANGE3 = FALSE;