Transition execution consists out of the following steps:

• Check for conflicts

• Sorting of compound transitions

• Calculation of execution steps

  • find: states to exit, transition actions, states to enter, state do actions

  • ordering of steps if there are entry and/or exit points involved

• Running execution steps

• Creation of a list of the choices that were reached.