Building Stateflow Execution Order. Error in the help?

Dear Sirs,

I am building a Stateflow execution model in order to convert it to extended automata.

Following the online help http://www.mathworks.com/help/stateflow/ug/process-for-entering-executing-and-exiting-states.html I see a deadlock in the logic described there.

It says there:

|The execution steps for entering a state are as follows:

• Step 1 - If the parent of the state is not active, perform steps 1 through 4 for the parent first.
• Step 2 - If the state is a parallel state, check if a sibling parallel state previous in entry order is active. If so, start at step 1 for this parallel state.
• Step 3 - Mark the state active.|

Assume there are two parallel states State 1 and State 2, with execution order according to their numbers. Assume we have entered the State 1. The State 1 becomes active after the step 3. When we start entering the State 2, we check if State 1 is active at the step 3. It is active. Then we start execution steps for the State 1 again. And so forever.

Obviously, there might be an error in the description. Could you give a correct one? It would nice if someone has a flowchart showing execution model.

Thanks in advance.