It is sometimes needed to allow an event to be processed and no state transition, such as timeout in receive message, and then resend.
It is sometimes needed to allow an event to be processed and no state transition, such as timeout in receive message, and then resend.