
  <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 concurrentCrossAnd.ump</h1>
  <h2>Class Lock 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">changeParent</td>
      <td class="event-header">concurrentEvent</td>
      <td class="event-header">crossAnd</td>
      <td class="event-header">event1</td>
      <td class="event-header">event2</td>
      <td class="event-header">event3</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>
    </tr>

    <tr>
      <td class="state-header" data-parent="0">- ParentState1</td>
      <td class="event-entry"><span>ParentState2</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="1">- - ChildState1</td>
      <td class="event-entry"><span class="derived">ParentState2</span></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">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
    </tr>

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

    <tr>
      <td class="state-header" data-parent="0">- ParentState2</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="4">- - ChildState3</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"><span>ChildState4</span></td>
      <td class="event-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="4">- - ChildState4</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"><span>ChildState3</span></td>
      <td class="event-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="4">- - ChildState5</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"><span>ChildState6</span></td>
    </tr>

    <tr>
      <td class="state-header" data-parent="4">- - ChildState6</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"><span>ChildState5</span></td>
    </tr>

    <tr>
      <td class="state-header" data-parent="0">- ConcurrentState</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span>ChildState6</span></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="9">- - ConcurrentChildState1</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span>ConcurrentChildState2</span></td>
      <td class="event-entry"><span class="derived">ChildState6</span></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="9">- - ConcurrentChildState2</td>
      <td class="event-entry">&nbsp;</td>
      <td class="event-entry"><span>ConcurrentChildState1</span></td>
      <td class="event-entry"><span class="derived">ChildState6</span></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">ParentState2</td>
      <td class="state-header">ChildState3</td>
      <td class="state-header">ChildState4</td>
      <td class="state-header">ChildState5</td>
      <td class="state-header">ChildState6</td>
      <td class="state-header">ConcurrentState</td>
      <td class="state-header">ConcurrentChildState1</td>
      <td class="state-header">ConcurrentChildState2</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>
      <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">&nbsp;</td>
      <td class="state-entry"><span>changeParent</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>
    </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>event1</span></td>
      <td class="state-entry"><span class="derived">changeParent</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>
    </tr>

    <tr>
      <td class="state-header" data-parent="1">- - ChildState2</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>event1</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span class="derived">changeParent</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>
    </tr>

    <tr>
      <td class="state-header" data-parent="0">- ParentState2</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>changeParent</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>
      <td class="state-entry">&nbsp;</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="4">- - ChildState3</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span class="derived">changeParent</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>event2</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>
    </tr>

    <tr>
      <td class="state-header" data-parent="4">- - ChildState4</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span class="derived">changeParent</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>event2</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>
    </tr>

    <tr>
      <td class="state-header" data-parent="4">- - ChildState5</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span class="derived">changeParent</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>event3</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="4">- - ChildState6</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span class="derived">changeParent</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>event3</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">- ConcurrentState</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>crossAnd</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="9">- - ConcurrentChildState1</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 class="derived">crossAnd</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>concurrentEvent</span></td>
    </tr>

    <tr>
      <td class="state-header" data-parent="9">- - ConcurrentChildState2</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 class="derived">crossAnd</span></td>
      <td class="state-entry">&nbsp;</td>
      <td class="state-entry"><span>concurrentEvent</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">event1</td>
      <td class="event-header">concurrentEvent</td>
      <td class="event-header">crossAnd</td>
      <td class="event-header">event3</td>
      <td class="event-header">changeParent</td>
      <td class="event-header">event2</td>
    </tr>
    <tr>
      <td class="state-header" data-parent="">OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</td>
      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</span></td>      <td class="event-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</td>
      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</span></td>      <td class="event-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState2) )</td>
      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</span></td>      <td class="event-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState2) )</td>
      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState2) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td>      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</span></td>      <td class="event-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</td>
      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState4) )</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</td>
      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</td>
      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</td>
      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState4) )</td>
      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</td>
      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState4) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</td>
      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState4) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</td>
      <td class="event-entry">&nbsp;</td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</span></td>      <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</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 (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</td>
      <td class="state-header">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</td>
      <td class="state-header">OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState2) )</td>
      <td class="state-header">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState2) )</td>
      <td class="state-header">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</td>
      <td class="state-header">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</td>
      <td class="state-header">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</td>
      <td class="state-header">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</td>
      <td class="state-header">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState4) )</td>
      <td class="state-header">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</td>
      <td class="state-header">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</td>
      <td class="state-header">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</td>
    </tr>

    <tr>
      <td class="state-header" data-parent="">OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</td>
      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>concurrentEvent</span></td>      <td class="state-entry"><span>event1</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>changeParent</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>crossAnd</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>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</td>
      <td class="state-entry"><span>concurrentEvent</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>event1</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>changeParent</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>crossAnd</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">OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState2) )</td>
      <td class="state-entry"><span>event1</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>concurrentEvent</span></td>      <td class="state-entry"><span>changeParent</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>crossAnd</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>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState2) )</td>
      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>event1</span></td>      <td class="state-entry"><span>concurrentEvent</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>changeParent</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>crossAnd</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">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</td>
      <td class="state-entry"><span>changeParent</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>concurrentEvent</span></td>      <td class="state-entry"><span>crossAnd<br>event3</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>event2</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 (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</td>
      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>changeParent</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>concurrentEvent</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>crossAnd<br>event3</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>event2</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</td>
      <td class="state-entry"><span>changeParent</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>event3</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>crossAnd</span></td>      <td class="state-entry"><span>concurrentEvent</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>event2</span></td>      <td class="state-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</td>
      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>changeParent</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>event3</span></td>      <td class="state-entry"><span>concurrentEvent</span></td>      <td class="state-entry"><span>crossAnd</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>event2</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState4) )</td>
      <td class="state-entry"><span>changeParent</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>event2</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>concurrentEvent</span></td>      <td class="state-entry"><span>crossAnd<br>event3</span></td>      <td class="state-entry">&nbsp;</td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</td>
      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>changeParent</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>event2</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>concurrentEvent</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>crossAnd<br>event3</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</td>
      <td class="state-entry"><span>changeParent</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>event2</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>event3</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>crossAnd</span></td>      <td class="state-entry"><span>concurrentEvent</span></td>    </tr>

    <tr>
      <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</td>
      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>changeParent</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>event2</span></td>      <td class="state-entry">&nbsp;</td>      <td class="state-entry"><span>event3</span></td>      <td class="state-entry"><span>concurrentEvent</span></td>      <td class="state-entry"><span>crossAnd</span></td>    </tr>

  </table>
</div>

