Can't Happen

Handling a Can't Happen

The omission of an event from the Events section implicitly indicates a Can't Happen response. So the model is saying that if an the Door closed occurs in this state, there is no prescribed model level recovery behavior and the model execution platform will have to clean up the mess.

Note: Most of the elevator xsm files (including the fudged example I inserted above) have not yet been updated with the ignore and can't happen responses prescribed in the event reponse spreadsheets that pre-date the xsm file format. For now, those tables are the ground truth, with detailed explanations of why each event reponse is considered. I will post an update when I get those xsm files properly updated! — LS 26-7-27