
  <style>
    .statetable { border-collapse: collapse; }
    .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; }
    .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; }
    .statetable .derived { font-style: italic; }
    .statetable-container { overflow-x: auto; }
  </style>
  
  <h1>State tables generated by Umple from concurrentWithTransitionsBetweenLocallyNestedStates.ump</h1>
  <h2>Class Student state machine status</h2>

<h3>State-event table</h3>
<div class="statetable-container">
  <table class="statetable event-statetable">
    <tr>
      <td class="event-header">&nbsp;</td>
      <td class="event-header">action</td>
      <td class="event-header">awayAction</td>
      <td class="event-header">back</td>
      <td class="event-header">concurrentAction</td>
      <td class="event-header">down</td>
      <td class="event-header">forward</td>
      <td class="event-header">otherAction</td>
      <td class="event-header">up</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="">OverState</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="0">- ParentState1</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span>ChildState2</span></td>
      <td class="event-entry"><span>ParentState2</span></td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="1">- - ChildState1</td>
      <td class="event-entry"><span>ChildState2</span></td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span class="derived">ChildState2</span></td>
      <td class="event-entry"><span class="derived">ParentState2</span></td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="1">- - ChildState2</td>
      <td class="event-entry"><span>ChildState1</span></td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span class="derived">ChildState2</span></td>
      <td class="event-entry"><span class="derived">ParentState2</span></td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span>ParentState1</span></td>
    </tr>

    <tr>
      <td class="state-header" data-parent="1">- - OtherChildState1</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span class="derived">ChildState2</span></td>
      <td class="event-entry"><span class="derived">ParentState2</span></td>
      <td class="event-entry"><span>OtherChildState2</span></td>
      <td class="event-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="1">- - OtherChildState2</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span class="derived">ChildState2</span></td>
      <td class="event-entry"><span class="derived">ParentState2</span></td>
      <td class="event-entry"><span>OtherChildState1</span></td>
      <td class="event-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="0">- ParentState2</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span>ParentState1</span></td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="6">- - AwayChildState1</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span>AwayChildState2</span></td>
      <td class="event-entry"><span class="derived">ParentState1</span></td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="6">- - AwayChildState2</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span>AwayChildState1</span></td>
      <td class="event-entry"><span class="derived">ParentState1</span></td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="0">- ConcurrentParentState1</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span>ConcurrentParentState2</span></td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="0">- ConcurrentParentState2</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span>ConcurrentParentState1</span></td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
    </tr>

  </table>
</div>

<h3>State-state table</h3>
<div class="statetable-container">
  <table class="statetable state-statetable">
    <tr>
      <td class="state-header">&nbsp;</td>
      <td class="state-header">OverState</td>
      <td class="state-header">ParentState1</td>
      <td class="state-header">ChildState1</td>
      <td class="state-header">ChildState2</td>
      <td class="state-header">OtherChildState1</td>
      <td class="state-header">OtherChildState2</td>
      <td class="state-header">ParentState2</td>
      <td class="state-header">AwayChildState1</td>
      <td class="state-header">AwayChildState2</td>
      <td class="state-header">ConcurrentParentState1</td>
      <td class="state-header">ConcurrentParentState2</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="">OverState</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="0">- ParentState1</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>down</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>forward</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="1">- - ChildState1</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>action</span><br><span class="derived">down</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span class="derived">forward</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="1">- - ChildState2</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>up</span></td>
      <td class="state-entry"><span>action</span></td>
      <td class="state-entry"><span class="derived">down</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span class="derived">forward</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="1">- - OtherChildState1</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span class="derived">down</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>otherAction</span></td>
      <td class="state-entry"><span class="derived">forward</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="1">- - OtherChildState2</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span class="derived">down</span></td>
      <td class="state-entry"><span>otherAction</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span class="derived">forward</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="0">- ParentState2</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>back</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="6">- - AwayChildState1</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span class="derived">back</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>awayAction</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="6">- - AwayChildState2</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span class="derived">back</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>awayAction</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="0">- ConcurrentParentState1</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>concurrentAction</span></td>
    </tr>

    <tr>
      <td class="state-header" data-parent="0">- ConcurrentParentState2</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>concurrentAction</span></td>
      <td class="state-entry">&nbsp;</td>
    </tr>

  </table>
</div>

<h3>Composite state-event table</h3>
<div class="statetable-container">
  <table class="statetable event-statetable">
    <tr>
      <td class="event-header">&nbsp;</td>
      <td class="event-header">concurrentAction</td>
      <td class="event-header">forward</td>
      <td class="event-header">back</td>
      <td class="event-header">action</td>
      <td class="event-header">otherAction</td>
      <td class="event-header">up</td>
      <td class="event-header">down</td>
      <td class="event-header">awayAction</td>
    </tr>
    <tr>
      <td class="state-header" data-parent="">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</td>
      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</span></td>      <td class="event-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</td>
      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</span></td>      <td class="event-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState1) )</td>
      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</span></td>      <td class="event-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</td>
      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</span></td>      <td class="event-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</td>
      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</span></td>      <td class="event-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</td>
      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</span></td>      <td class="event-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</td>
      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</span></td>      <td class="event-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</td>
      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</span></td>      <td class="event-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</td>
      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState2) )</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</td>
      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState2) )</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState2 (AwayChildState2) )</td>
      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState2) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState2) )</td>
      <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState2) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</span></td>    </tr>

  </table>
</div>

<h3>Composite state-state table</h3>
<div class="statetable-container">
  <table class="statetable state-statetable">
    <tr>
      <td class="state-header">&nbsp;</td>
      <td class="state-header">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</td>
      <td class="state-header">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</td>
      <td class="state-header">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState1) )</td>
      <td class="state-header">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</td>
      <td class="state-header">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</td>
      <td class="state-header">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</td>
      <td class="state-header">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</td>
      <td class="state-header">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</td>
      <td class="state-header">OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</td>
      <td class="state-header">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</td>
      <td class="state-header">OverState (ConcurrentParentState1 || ParentState2 (AwayChildState2) )</td>
      <td class="state-header">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState2) )</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</td>
      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>concurrentAction</span></td>      <td class="state-entry"><span>otherAction</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>action<br>down</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>forward</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</td>
      <td class="state-entry"><span>concurrentAction</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>otherAction</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>action<br>down</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>forward</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState1) )</td>
      <td class="state-entry"><span>otherAction</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>concurrentAction</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>action<br>down</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>forward</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</td>
      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>otherAction</span></td>      <td class="state-entry"><span>concurrentAction</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>action<br>down</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>forward</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</td>
      <td class="state-entry"><span>action<br>up</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>down</span></td>      <td class="state-entry"><span>concurrentAction</span></td>      <td class="state-entry"><span>otherAction</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>forward</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</td>
      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>action<br>up</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>concurrentAction</span></td>      <td class="state-entry"><span>down</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>otherAction</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>forward</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</td>
      <td class="state-entry"><span>up</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>action</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>otherAction</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>down</span></td>      <td class="state-entry"><span>concurrentAction</span></td>      <td class="state-entry"><span>forward</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</td>
      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>up</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>action</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>otherAction</span></td>      <td class="state-entry"><span>concurrentAction</span></td>      <td class="state-entry"><span>down</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>forward</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</td>
      <td class="state-entry"><span>back</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>concurrentAction</span></td>      <td class="state-entry"><span>awayAction</span></td>      <td class="state-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</td>
      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>back</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>concurrentAction</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>awayAction</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState2 (AwayChildState2) )</td>
      <td class="state-entry"><span>back</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>awayAction</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>concurrentAction</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState2) )</td>
      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>back</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>awayAction</span></td>      <td class="state-entry"><span>concurrentAction</span></td>      <td class="state-entry">&nbsp;</td>    </tr>

  </table>
</div>

