State-driven enaction

States determine the next available event. Actors are set into various states depending on the events they take part in.

Consider the following description:

Before Driver performs the first event, Driver is at initial state. After performing the event, the Driver ends up at machine state.