<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 nestedStateTable.ump</h1>
<h2>Class RemoteControl state machine status</h2>
<h3>State-event table</h3>
<div class="statetable-container">
<table class="statetable event-statetable">
<tr>
<td class="event-header"> </td>
<td class="event-header" data-transition="RemoteControl*^*status*^*power*^*On*^*Off*^*">power</td>
<td class="event-header" data-transition="RemoteControl*^*status*^*push*^*On.Play*^*On.Pause*^*">push</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="event-entry"><span data-transition="RemoteControl*^*status*^*power*^*On*^*Off*^*">Off</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Play</td>
<td class="event-entry"><span class="derived" data-transition="RemoteControl*^*status*^*power*^*On*^*Off*^*">Off</span></td>
<td class="event-entry"><span data-transition="RemoteControl*^*status*^*push*^*On.Play*^*On.Pause*^*">Pause</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Pause</td>
<td class="event-entry"><span class="derived" data-transition="RemoteControl*^*status*^*power*^*On*^*Off*^*">Off</span></td>
<td class="event-entry"><span data-transition="RemoteControl*^*status*^*push*^*On.Pause*^*On.Play*^*">Play</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="event-entry"><span data-transition="RemoteControl*^*status*^*power*^*Off*^*On*^*">On</span></td>
<td class="event-entry"> </td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">On</td>
<td class="state-header">Play</td>
<td class="state-header">Pause</td>
<td class="state-header">Off</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="RemoteControl*^*status*^*power*^*On*^*Off*^*">power</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Play</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="RemoteControl*^*status*^*push*^*On.Play*^*On.Pause*^*">push</span></td>
<td class="state-entry"><span class="derived" data-transition="RemoteControl*^*status*^*power*^*On*^*Off*^*">power</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Pause</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="RemoteControl*^*status*^*push*^*On.Pause*^*On.Play*^*">push</span></td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="RemoteControl*^*status*^*power*^*On*^*Off*^*">power</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="state-entry"><span data-transition="RemoteControl*^*status*^*power*^*Off*^*On*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<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 guardedTransitionNestedStateTable.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*power*^*On.OnOn*^*On.Sleep*^* [stayOn]">power</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- OnOn</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*On.OnOn*^*On.Sleep*^* [stayOn]">[getStayOn()] Sleep</span><br><span data-transition="Student*^*status*^*power*^*On.OnOn*^*Off*^* [!stayOn]">[!getStayOn()] Off</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Sleep</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*On.Sleep*^*On.OnOn*^*">OnOn</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">On</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">On</td>
<td class="state-header">OnOn</td>
<td class="state-header">Sleep</td>
<td class="state-header">Off</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- OnOn</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*On.OnOn*^*On.Sleep*^* [stayOn]">power [getStayOn()]</span></td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*On.OnOn*^*Off*^* [!stayOn]">power [!getStayOn()]</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Sleep</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*On.Sleep*^*On.OnOn*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<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 concurrentTimerTransitionStateTableSameTimer.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*after(1)*^*OverState.On*^*OverState.Off*^*">after(1)</td>
<td class="event-header" data-transition="Student*^*status*^*power*^*OverState.Off*^*OverState.On*^*">power</td>
<td class="event-header" data-transition="Student*^*status*^*test*^*OverState.No*^*OverState.Yes*^*">test</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- On</td>
<td class="event-entry"><span data-transition="Student*^*status*^*after(1)*^*OverState.On*^*OverState.Off*^*">Off</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Off</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*OverState.Off*^*OverState.On*^*">On</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Yes</td>
<td class="event-entry"><span data-transition="Student*^*status*^*after(1)*^*OverState.Yes*^*OverState.No*^*">No</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- No</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*test*^*OverState.No*^*OverState.Yes*^*">Yes</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">OverState</td>
<td class="state-header">On</td>
<td class="state-header">Off</td>
<td class="state-header">Yes</td>
<td class="state-header">No</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- On</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*after(1)*^*OverState.On*^*OverState.Off*^*">after(1)</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Off</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*OverState.Off*^*OverState.On*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Yes</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*after(1)*^*OverState.Yes*^*OverState.No*^*">after(1)</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- No</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*test*^*OverState.No*^*OverState.Yes*^*">test</span></td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<h3>Composite state-event table</h3>
<div class="statetable-container">
<table class="statetable event-statetable">
<tr>
<td class="event-header"> </td>
<td class="event-header">after(1)</td>
<td class="event-header">test</td>
<td class="event-header">power</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState (Yes || On)</td>
<td class="event-entry"><span>OverState (No || On)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || On)</td>
<td class="event-entry"><span>OverState (No || Off)</span></td> <td class="event-entry"><span>OverState (Yes || On)</span></td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes || Off)</td>
<td class="event-entry"><span>OverState (No || Off)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes || On)</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || Off)</td>
<td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes || Off)</span></td> <td class="event-entry"><span>OverState (No || On)</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"> </td>
<td class="state-header">OverState (Yes || On)</td>
<td class="state-header">OverState (No || On)</td>
<td class="state-header">OverState (Yes || Off)</td>
<td class="state-header">OverState (No || Off)</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState (Yes || On)</td>
<td class="state-entry"> </td> <td class="state-entry"><span>after(1)</span></td> <td class="state-entry"><span>after(1)</span></td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || On)</td>
<td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>after(1)</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes || Off)</td>
<td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>after(1)</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || Off)</td>
<td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> </tr>
</table>
</div>
<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 autoTransitionStateTable.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"> </td>
<td class="event-header" data-transition="Student*^*status*^**^*On*^*Off*^*">(auto)</td>
<td class="event-header" data-transition="Student*^*status*^*power*^*Off*^*On*^*">power</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="event-entry"><span data-transition="Student*^*status*^**^*On*^*Off*^*">Off</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">On</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">On</td>
<td class="state-header">Off</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^**^*On*^*Off*^*">(auto)</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">power</span></td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<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 transitionWithArgumentsStateTable.ump</h1>
<h2>Class Garage state machine status</h2>
<h3>State-event table</h3>
<div class="statetable-container">
<table class="statetable event-statetable">
<tr>
<td class="event-header"> </td>
<td class="event-header" data-transition="Garage*^*status*^*close*^*Open*^*Closed*^*">close</td>
<td class="event-header" data-transition="Garage*^*status*^*open(String who)*^*Closed.Unlocked*^*Open*^*">open</td>
<td class="event-header" data-transition="Garage*^*status*^*reset*^*Closed*^*Closed*^*">reset</td>
<td class="event-header" data-transition="Garage*^*status*^*unlock(Integer code)*^*Closed.Locked*^*Closed.Unlocked*^* [code == limit]">unlock</td>
</tr>
<tr>
<td class="state-header" data-parent="">Closed</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Garage*^*status*^*reset*^*Closed*^*Closed*^*">Closed</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Locked</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span class="derived" data-transition="Garage*^*status*^*reset*^*Closed*^*Closed*^*">Closed</span></td>
<td class="event-entry"><span data-transition="Garage*^*status*^*unlock(Integer code)*^*Closed.Locked*^*Closed.Unlocked*^* [code == limit]">[code==getLimit()] Unlocked</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Unlocked</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Garage*^*status*^*open(String who)*^*Closed.Unlocked*^*Open*^*">Open</span></td>
<td class="event-entry"><span class="derived" data-transition="Garage*^*status*^*reset*^*Closed*^*Closed*^*">Closed</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">Open</td>
<td class="event-entry"><span data-transition="Garage*^*status*^*close*^*Open*^*Closed*^*">Closed</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">Closed</td>
<td class="state-header">Locked</td>
<td class="state-header">Unlocked</td>
<td class="state-header">Open</td>
</tr>
<tr>
<td class="state-header" data-parent="">Closed</td>
<td class="state-entry"><span data-transition="Garage*^*status*^*reset*^*Closed*^*Closed*^*">reset</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Locked</td>
<td class="state-entry"><span class="derived" data-transition="Garage*^*status*^*reset*^*Closed*^*Closed*^*">reset</span></td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Garage*^*status*^*unlock(Integer code)*^*Closed.Locked*^*Closed.Unlocked*^* [code == limit]">unlock [code==getLimit()]</span></td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Unlocked</td>
<td class="state-entry"><span class="derived" data-transition="Garage*^*status*^*reset*^*Closed*^*Closed*^*">reset</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Garage*^*status*^*open(String who)*^*Closed.Unlocked*^*Open*^*">open</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Open</td>
<td class="state-entry"><span data-transition="Garage*^*status*^*close*^*Open*^*Closed*^*">close</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<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 concurrentSelfTransition.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</td>
<td class="event-header" data-transition="Student*^*status*^*event1*^*ParentState1.ChildState1*^*ParentState1.ChildState2*^*">event1</td>
<td class="event-header" data-transition="Student*^*status*^*event2*^*ParentState2.ChildState3*^*ParentState2.ChildState4*^*">event2</td>
<td class="event-header" data-transition="Student*^*status*^*event3*^*ParentState2.ChildState5*^*ParentState2.ChildState6*^*">event3</td>
<td class="event-header" data-transition="Student*^*status*^*selfTransition*^*ParentState2*^*ParentState2*^*">selfTransition</td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1</td>
<td class="event-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState1</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState1*^*ParentState1.ChildState2*^*">ChildState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState2</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState2*^*ParentState1.ChildState1*^*">ChildState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState2</td>
<td class="event-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*selfTransition*^*ParentState2*^*ParentState2*^*">ParentState2</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState3</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState3*^*ParentState2.ChildState4*^*">ChildState4</span></td>
<td class="event-entry"> </td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*selfTransition*^*ParentState2*^*ParentState2*^*">ParentState2</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState4</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState4*^*ParentState2.ChildState3*^*">ChildState3</span></td>
<td class="event-entry"> </td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*selfTransition*^*ParentState2*^*ParentState2*^*">ParentState2</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState5</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState5*^*ParentState2.ChildState6*^*">ChildState6</span></td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*selfTransition*^*ParentState2*^*ParentState2*^*">ParentState2</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState6</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState6*^*ParentState2.ChildState5*^*">ChildState5</span></td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*selfTransition*^*ParentState2*^*ParentState2*^*">ParentState2</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </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>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState1*^*ParentState1.ChildState2*^*">event1</span></td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState2</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState2*^*ParentState1.ChildState1*^*">event1</span></td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState2</td>
<td class="state-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*selfTransition*^*ParentState2*^*ParentState2*^*">selfTransition</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState3</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*selfTransition*^*ParentState2*^*ParentState2*^*">selfTransition</span></td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState3*^*ParentState2.ChildState4*^*">event2</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState4</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*selfTransition*^*ParentState2*^*ParentState2*^*">selfTransition</span></td>
<td class="state-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState4*^*ParentState2.ChildState3*^*">event2</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState5</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*selfTransition*^*ParentState2*^*ParentState2*^*">selfTransition</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState5*^*ParentState2.ChildState6*^*">event3</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState6</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*selfTransition*^*ParentState2*^*ParentState2*^*">selfTransition</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState6*^*ParentState2.ChildState5*^*">event3</span></td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<h3>Composite state-event table</h3>
<div class="statetable-container">
<table class="statetable event-statetable">
<tr>
<td class="event-header"> </td>
<td class="event-header">event1</td>
<td class="event-header">selfTransition</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="">ParentState1 (ChildState1)</td>
<td class="event-entry"><span>ParentState1 (ChildState2)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">ParentState1 (ChildState2)</td>
<td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td>
<td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td>
<td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td>
<td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td>
<td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>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"> </td>
<td class="state-header">ParentState1 (ChildState1)</td>
<td class="state-header">ParentState1 (ChildState2)</td>
<td class="state-header">ParentState2 (ChildState5 || ChildState3)</td>
<td class="state-header">ParentState2 (ChildState6 || ChildState3)</td>
<td class="state-header">ParentState2 (ChildState5 || ChildState4)</td>
<td class="state-header">ParentState2 (ChildState6 || ChildState4)</td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1 (ChildState1)</td>
<td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">ParentState1 (ChildState2)</td>
<td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>selfTransition</span></td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>selfTransition<br>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>selfTransition<br>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>selfTransition</span></td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> </tr>
</table>
</div>
<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"> </td>
<td class="event-header" data-transition="Student*^*status*^*action*^*OverState.ParentState1.ChildState1*^*OverState.ParentState1.ChildState2*^*">action</td>
<td class="event-header" data-transition="Student*^*status*^*awayAction*^*OverState.ParentState2.AwayChildState1*^*OverState.ParentState2.AwayChildState2*^*">awayAction</td>
<td class="event-header" data-transition="Student*^*status*^*back*^*OverState.ParentState2*^*OverState.ParentState1*^*">back</td>
<td class="event-header" data-transition="Student*^*status*^*concurrentAction*^*OverState.ConcurrentParentState1*^*OverState.ConcurrentParentState2*^*">concurrentAction</td>
<td class="event-header" data-transition="Student*^*status*^*down*^*OverState.ParentState1*^*OverState.ParentState1.ChildState2*^*">down</td>
<td class="event-header" data-transition="Student*^*status*^*forward*^*OverState.ParentState1*^*OverState.ParentState2*^*">forward</td>
<td class="event-header" data-transition="Student*^*status*^*otherAction*^*OverState.ParentState1.OtherChildState1*^*OverState.ParentState1.OtherChildState2*^*">otherAction</td>
<td class="event-header" data-transition="Student*^*status*^*up*^*OverState.ParentState1.ChildState2*^*OverState.ParentState1*^*">up</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ParentState1</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*down*^*OverState.ParentState1*^*OverState.ParentState1.ChildState2*^*">ChildState2</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*forward*^*OverState.ParentState1*^*OverState.ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - ChildState1</td>
<td class="event-entry"><span data-transition="Student*^*status*^*action*^*OverState.ParentState1.ChildState1*^*OverState.ParentState1.ChildState2*^*">ChildState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*down*^*OverState.ParentState1*^*OverState.ParentState1.ChildState2*^*">ChildState2</span></td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*forward*^*OverState.ParentState1*^*OverState.ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - ChildState2</td>
<td class="event-entry"><span data-transition="Student*^*status*^*action*^*OverState.ParentState1.ChildState2*^*OverState.ParentState1.ChildState1*^*">ChildState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*down*^*OverState.ParentState1*^*OverState.ParentState1.ChildState2*^*">ChildState2</span></td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*forward*^*OverState.ParentState1*^*OverState.ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*up*^*OverState.ParentState1.ChildState2*^*OverState.ParentState1*^*">ParentState1</span></td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - OtherChildState1</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*down*^*OverState.ParentState1*^*OverState.ParentState1.ChildState2*^*">ChildState2</span></td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*forward*^*OverState.ParentState1*^*OverState.ParentState2*^*">ParentState2</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*otherAction*^*OverState.ParentState1.OtherChildState1*^*OverState.ParentState1.OtherChildState2*^*">OtherChildState2</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - OtherChildState2</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*down*^*OverState.ParentState1*^*OverState.ParentState1.ChildState2*^*">ChildState2</span></td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*forward*^*OverState.ParentState1*^*OverState.ParentState2*^*">ParentState2</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*otherAction*^*OverState.ParentState1.OtherChildState2*^*OverState.ParentState1.OtherChildState1*^*">OtherChildState1</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ParentState2</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*back*^*OverState.ParentState2*^*OverState.ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="6">- - AwayChildState1</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*awayAction*^*OverState.ParentState2.AwayChildState1*^*OverState.ParentState2.AwayChildState2*^*">AwayChildState2</span></td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*back*^*OverState.ParentState2*^*OverState.ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="6">- - AwayChildState2</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*awayAction*^*OverState.ParentState2.AwayChildState2*^*OverState.ParentState2.AwayChildState1*^*">AwayChildState1</span></td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*back*^*OverState.ParentState2*^*OverState.ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ConcurrentParentState1</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*concurrentAction*^*OverState.ConcurrentParentState1*^*OverState.ConcurrentParentState2*^*">ConcurrentParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ConcurrentParentState2</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*concurrentAction*^*OverState.ConcurrentParentState2*^*OverState.ConcurrentParentState1*^*">ConcurrentParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </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"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ParentState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*down*^*OverState.ParentState1*^*OverState.ParentState1.ChildState2*^*">down</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*forward*^*OverState.ParentState1*^*OverState.ParentState2*^*">forward</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - ChildState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*action*^*OverState.ParentState1.ChildState1*^*OverState.ParentState1.ChildState2*^*">action</span><br><span class="derived" data-transition="Student*^*status*^*down*^*OverState.ParentState1*^*OverState.ParentState1.ChildState2*^*">down</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*forward*^*OverState.ParentState1*^*OverState.ParentState2*^*">forward</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - ChildState2</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*up*^*OverState.ParentState1.ChildState2*^*OverState.ParentState1*^*">up</span></td>
<td class="state-entry"><span data-transition="Student*^*status*^*action*^*OverState.ParentState1.ChildState2*^*OverState.ParentState1.ChildState1*^*">action</span></td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*down*^*OverState.ParentState1*^*OverState.ParentState1.ChildState2*^*">down</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*forward*^*OverState.ParentState1*^*OverState.ParentState2*^*">forward</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - OtherChildState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*down*^*OverState.ParentState1*^*OverState.ParentState1.ChildState2*^*">down</span></td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*otherAction*^*OverState.ParentState1.OtherChildState1*^*OverState.ParentState1.OtherChildState2*^*">otherAction</span></td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*forward*^*OverState.ParentState1*^*OverState.ParentState2*^*">forward</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - OtherChildState2</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*down*^*OverState.ParentState1*^*OverState.ParentState1.ChildState2*^*">down</span></td>
<td class="state-entry"><span data-transition="Student*^*status*^*otherAction*^*OverState.ParentState1.OtherChildState2*^*OverState.ParentState1.OtherChildState1*^*">otherAction</span></td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*forward*^*OverState.ParentState1*^*OverState.ParentState2*^*">forward</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ParentState2</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*back*^*OverState.ParentState2*^*OverState.ParentState1*^*">back</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="6">- - AwayChildState1</td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*back*^*OverState.ParentState2*^*OverState.ParentState1*^*">back</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*awayAction*^*OverState.ParentState2.AwayChildState1*^*OverState.ParentState2.AwayChildState2*^*">awayAction</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="6">- - AwayChildState2</td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*back*^*OverState.ParentState2*^*OverState.ParentState1*^*">back</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*awayAction*^*OverState.ParentState2.AwayChildState2*^*OverState.ParentState2.AwayChildState1*^*">awayAction</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ConcurrentParentState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*concurrentAction*^*OverState.ConcurrentParentState1*^*OverState.ConcurrentParentState2*^*">concurrentAction</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ConcurrentParentState2</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*concurrentAction*^*OverState.ConcurrentParentState2*^*OverState.ConcurrentParentState1*^*">concurrentAction</span></td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<h3>Composite state-event table</h3>
<div class="statetable-container">
<table class="statetable event-statetable">
<tr>
<td class="event-header"> </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"> </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"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</span></td> <td class="event-entry"> </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"> </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"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</span></td> <td class="event-entry"> </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"> </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"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</span></td> <td class="event-entry"> </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"> </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"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</span></td> <td class="event-entry"> </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"> </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"> </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"> </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"> </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"> </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"> </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"> </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"> </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"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </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"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </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"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </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"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </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"> </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"> </td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>action<br>down</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>action<br>down</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>action<br>down</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</td>
<td class="state-entry"> </td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>action<br>down</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</td>
<td class="state-entry"> </td> <td class="state-entry"><span>action<br>up</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"><span>down</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"><span>action</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</td>
<td class="state-entry"> </td> <td class="state-entry"><span>up</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>action</span></td> <td class="state-entry"> </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"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"><span>awayAction</span></td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</td>
<td class="state-entry"> </td> <td class="state-entry"><span>back</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>awayAction</span></td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"><span>back</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>awayAction</span></td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"> </td> </tr>
</table>
</div>
<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 transitionWithActionStateTable.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*power*^*On*^*Off*^*">power</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="event-entry"><span data-action="/ someAction();" data-transition="Student*^*status*^*power*^*On*^*Off*^*">Off</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">On</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">On</td>
<td class="state-header">Off</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*On*^*Off*^*">power</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">power</span></td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<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"> </td>
<td class="event-header" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState1*^*OverState.ParentState2*^*">changeParent</td>
<td class="event-header" data-transition="Lock*^*status*^*concurrentEvent*^*OverState.ConcurrentState.ConcurrentChildState1*^*OverState.ConcurrentState.ConcurrentChildState2*^*">concurrentEvent</td>
<td class="event-header" data-transition="Lock*^*status*^*crossAnd*^*OverState.ConcurrentState*^*OverState.ParentState2.ChildState6*^*">crossAnd</td>
<td class="event-header" data-transition="Lock*^*status*^*event1*^*OverState.ParentState1.ChildState1*^*OverState.ParentState1.ChildState2*^*">event1</td>
<td class="event-header" data-transition="Lock*^*status*^*event2*^*OverState.ParentState2.ChildState3*^*OverState.ParentState2.ChildState4*^*">event2</td>
<td class="event-header" data-transition="Lock*^*status*^*event3*^*OverState.ParentState2.ChildState5*^*OverState.ParentState2.ChildState6*^*">event3</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ParentState1</td>
<td class="event-entry"><span data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState1*^*OverState.ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - ChildState1</td>
<td class="event-entry"><span class="derived" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState1*^*OverState.ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Lock*^*status*^*event1*^*OverState.ParentState1.ChildState1*^*OverState.ParentState1.ChildState2*^*">ChildState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - ChildState2</td>
<td class="event-entry"><span class="derived" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState1*^*OverState.ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Lock*^*status*^*event1*^*OverState.ParentState1.ChildState2*^*OverState.ParentState1.ChildState1*^*">ChildState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ParentState2</td>
<td class="event-entry"><span data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState2*^*OverState.ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="4">- - ChildState3</td>
<td class="event-entry"><span class="derived" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState2*^*OverState.ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Lock*^*status*^*event2*^*OverState.ParentState2.ChildState3*^*OverState.ParentState2.ChildState4*^*">ChildState4</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="4">- - ChildState4</td>
<td class="event-entry"><span class="derived" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState2*^*OverState.ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Lock*^*status*^*event2*^*OverState.ParentState2.ChildState4*^*OverState.ParentState2.ChildState3*^*">ChildState3</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="4">- - ChildState5</td>
<td class="event-entry"><span class="derived" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState2*^*OverState.ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Lock*^*status*^*event3*^*OverState.ParentState2.ChildState5*^*OverState.ParentState2.ChildState6*^*">ChildState6</span></td>
</tr>
<tr>
<td class="state-header" data-parent="4">- - ChildState6</td>
<td class="event-entry"><span class="derived" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState2*^*OverState.ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Lock*^*status*^*event3*^*OverState.ParentState2.ChildState6*^*OverState.ParentState2.ChildState5*^*">ChildState5</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ConcurrentState</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Lock*^*status*^*crossAnd*^*OverState.ConcurrentState*^*OverState.ParentState2.ChildState6*^*">ChildState6</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="9">- - ConcurrentChildState1</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Lock*^*status*^*concurrentEvent*^*OverState.ConcurrentState.ConcurrentChildState1*^*OverState.ConcurrentState.ConcurrentChildState2*^*">ConcurrentChildState2</span></td>
<td class="event-entry"><span class="derived" data-transition="Lock*^*status*^*crossAnd*^*OverState.ConcurrentState*^*OverState.ParentState2.ChildState6*^*">ChildState6</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="9">- - ConcurrentChildState2</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Lock*^*status*^*concurrentEvent*^*OverState.ConcurrentState.ConcurrentChildState2*^*OverState.ConcurrentState.ConcurrentChildState1*^*">ConcurrentChildState1</span></td>
<td class="event-entry"><span class="derived" data-transition="Lock*^*status*^*crossAnd*^*OverState.ConcurrentState*^*OverState.ParentState2.ChildState6*^*">ChildState6</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </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"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ParentState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState1*^*OverState.ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - ChildState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Lock*^*status*^*event1*^*OverState.ParentState1.ChildState1*^*OverState.ParentState1.ChildState2*^*">event1</span></td>
<td class="state-entry"><span class="derived" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState1*^*OverState.ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - ChildState2</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Lock*^*status*^*event1*^*OverState.ParentState1.ChildState2*^*OverState.ParentState1.ChildState1*^*">event1</span></td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState1*^*OverState.ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ParentState2</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState2*^*OverState.ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="4">- - ChildState3</td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState2*^*OverState.ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Lock*^*status*^*event2*^*OverState.ParentState2.ChildState3*^*OverState.ParentState2.ChildState4*^*">event2</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="4">- - ChildState4</td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState2*^*OverState.ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Lock*^*status*^*event2*^*OverState.ParentState2.ChildState4*^*OverState.ParentState2.ChildState3*^*">event2</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="4">- - ChildState5</td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState2*^*OverState.ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Lock*^*status*^*event3*^*OverState.ParentState2.ChildState5*^*OverState.ParentState2.ChildState6*^*">event3</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="4">- - ChildState6</td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Lock*^*status*^*changeParent*^*OverState.ParentState2*^*OverState.ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Lock*^*status*^*event3*^*OverState.ParentState2.ChildState6*^*OverState.ParentState2.ChildState5*^*">event3</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ConcurrentState</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Lock*^*status*^*crossAnd*^*OverState.ConcurrentState*^*OverState.ParentState2.ChildState6*^*">crossAnd</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="9">- - ConcurrentChildState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Lock*^*status*^*crossAnd*^*OverState.ConcurrentState*^*OverState.ParentState2.ChildState6*^*">crossAnd</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Lock*^*status*^*concurrentEvent*^*OverState.ConcurrentState.ConcurrentChildState1*^*OverState.ConcurrentState.ConcurrentChildState2*^*">concurrentEvent</span></td>
</tr>
<tr>
<td class="state-header" data-parent="9">- - ConcurrentChildState2</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Lock*^*status*^*crossAnd*^*OverState.ConcurrentState*^*OverState.ParentState2.ChildState6*^*">crossAnd</span></td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Lock*^*status*^*concurrentEvent*^*OverState.ConcurrentState.ConcurrentChildState2*^*OverState.ConcurrentState.ConcurrentChildState1*^*">concurrentEvent</span></td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<h3>Composite state-event table</h3>
<div class="statetable-container">
<table class="statetable event-statetable">
<tr>
<td class="event-header"> </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"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</span></td> <td class="event-entry"> </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"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</span></td> <td class="event-entry"> </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"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</span></td> <td class="event-entry"> </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"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</span></td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</td>
<td class="event-entry"> </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"> </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"> </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"> </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"> </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"> </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"> </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"> </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"> </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"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState2) )</td>
<td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"><span>crossAnd<br>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</td>
<td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd<br>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</td>
<td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"><span>crossAnd<br>event3</span></td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</td>
<td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </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"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </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"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </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>
<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 concurrentTransitionWithActionNestedStateTable.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*otherButton*^*OverState.Yes.YesYes*^*OverState.Yes.Slumber*^*">otherButton</td>
<td class="event-header" data-transition="Student*^*status*^*power*^*OverState.On.OnOn*^*OverState.Off*^*">power</td>
<td class="event-header" data-transition="Student*^*status*^*sleepButton*^*OverState.On.OnOn*^*OverState.On.Sleep*^*">sleepButton</td>
<td class="event-header" data-transition="Student*^*status*^*test*^*OverState.Yes.YesYes*^*OverState.No*^*">test</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- On</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - OnOn</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*OverState.On.OnOn*^*OverState.Off*^*">Off</span></td>
<td class="event-entry"><span data-action="/ someAction();" data-transition="Student*^*status*^*sleepButton*^*OverState.On.OnOn*^*OverState.On.Sleep*^*">Sleep</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - Sleep</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*OverState.On.Sleep*^*OverState.On.OnOn*^*">OnOn</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Off</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*OverState.Off*^*OverState.On*^*">On</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Yes</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="5">- - YesYes</td>
<td class="event-entry"><span data-action="/ anotherAction();" data-transition="Student*^*status*^*otherButton*^*OverState.Yes.YesYes*^*OverState.Yes.Slumber*^*">Slumber</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*test*^*OverState.Yes.YesYes*^*OverState.No*^*">No</span></td>
</tr>
<tr>
<td class="state-header" data-parent="5">- - Slumber</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*test*^*OverState.Yes.Slumber*^*OverState.Yes*^*">Yes</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- No</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*test*^*OverState.No*^*OverState.Yes*^*">Yes</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">OverState</td>
<td class="state-header">On</td>
<td class="state-header">OnOn</td>
<td class="state-header">Sleep</td>
<td class="state-header">Off</td>
<td class="state-header">Yes</td>
<td class="state-header">YesYes</td>
<td class="state-header">Slumber</td>
<td class="state-header">No</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- On</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - OnOn</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*sleepButton*^*OverState.On.OnOn*^*OverState.On.Sleep*^*">sleepButton</span></td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*OverState.On.OnOn*^*OverState.Off*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - Sleep</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*OverState.On.Sleep*^*OverState.On.OnOn*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Off</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*OverState.Off*^*OverState.On*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Yes</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="5">- - YesYes</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*otherButton*^*OverState.Yes.YesYes*^*OverState.Yes.Slumber*^*">otherButton</span></td>
<td class="state-entry"><span data-transition="Student*^*status*^*test*^*OverState.Yes.YesYes*^*OverState.No*^*">test</span></td>
</tr>
<tr>
<td class="state-header" data-parent="5">- - Slumber</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*test*^*OverState.Yes.Slumber*^*OverState.Yes*^*">test</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- No</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*test*^*OverState.No*^*OverState.Yes*^*">test</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<h3>Composite state-event table</h3>
<div class="statetable-container">
<table class="statetable event-statetable">
<tr>
<td class="event-header"> </td>
<td class="event-header">otherButton</td>
<td class="event-header">test</td>
<td class="event-header">sleepButton</td>
<td class="event-header">power</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState (Yes (YesYes) || On (OnOn) )</td>
<td class="event-entry"><span>OverState (Yes (Slumber) || On (OnOn) )</span></td> <td class="event-entry"><span>OverState (No || On (OnOn) )</span></td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (Sleep) )</span></td> <td class="event-entry"><span>OverState (Yes (YesYes) || Off)</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes (Slumber) || On (OnOn) )</td>
<td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (OnOn) )</span></td> <td class="event-entry"><span>OverState (Yes (Slumber) || On (Sleep) )</span></td> <td class="event-entry"><span>OverState (Yes (Slumber) || Off)</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || On (OnOn) )</td>
<td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (OnOn) )</span></td> <td class="event-entry"><span>OverState (No || On (Sleep) )</span></td> <td class="event-entry"><span>OverState (No || Off)</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes (YesYes) || On (Sleep) )</td>
<td class="event-entry"><span>OverState (Yes (Slumber) || On (Sleep) )</span></td> <td class="event-entry"><span>OverState (No || On (Sleep) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (OnOn) )</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes (Slumber) || On (Sleep) )</td>
<td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (Sleep) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (Slumber) || On (OnOn) )</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || On (Sleep) )</td>
<td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (Sleep) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (No || On (OnOn) )</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes (YesYes) || Off)</td>
<td class="event-entry"><span>OverState (Yes (Slumber) || Off)</span></td> <td class="event-entry"><span>OverState (No || Off)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (OnOn) )</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes (Slumber) || Off)</td>
<td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || Off)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (Slumber) || On (OnOn) )</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || Off)</td>
<td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || Off)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (No || On (OnOn) )</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"> </td>
<td class="state-header">OverState (Yes (YesYes) || On (OnOn) )</td>
<td class="state-header">OverState (Yes (Slumber) || On (OnOn) )</td>
<td class="state-header">OverState (No || On (OnOn) )</td>
<td class="state-header">OverState (Yes (YesYes) || On (Sleep) )</td>
<td class="state-header">OverState (Yes (Slumber) || On (Sleep) )</td>
<td class="state-header">OverState (No || On (Sleep) )</td>
<td class="state-header">OverState (Yes (YesYes) || Off)</td>
<td class="state-header">OverState (Yes (Slumber) || Off)</td>
<td class="state-header">OverState (No || Off)</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState (Yes (YesYes) || On (OnOn) )</td>
<td class="state-entry"> </td> <td class="state-entry"><span>otherButton</span></td> <td class="state-entry"><span>test</span></td> <td class="state-entry"><span>sleepButton</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes (Slumber) || On (OnOn) )</td>
<td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>sleepButton</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || On (OnOn) )</td>
<td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>sleepButton</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes (YesYes) || On (Sleep) )</td>
<td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>otherButton</span></td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes (Slumber) || On (Sleep) )</td>
<td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || On (Sleep) )</td>
<td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes (YesYes) || Off)</td>
<td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>otherButton</span></td> <td class="state-entry"><span>test</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes (Slumber) || Off)</td>
<td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || Off)</td>
<td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
</table>
</div>
<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 guardedTransitionStateTable.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*power*^*On*^*Sleep*^* [stayOn]">power</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*On*^*Sleep*^* [stayOn]">[getStayOn()] Sleep</span><br><span data-transition="Student*^*status*^*power*^*On*^*Off*^* [!stayOn]">[!getStayOn()] Off</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Sleep</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*Sleep*^*On*^*">On</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">On</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">On</td>
<td class="state-header">Sleep</td>
<td class="state-header">Off</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*On*^*Sleep*^* [stayOn]">power [getStayOn()]</span></td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*On*^*Off*^* [!stayOn]">power [!getStayOn()]</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Sleep</td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*Sleep*^*On*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<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 concurrentCrossDown.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</td>
<td class="event-header" data-transition="Student*^*status*^*crossDown*^*ParentState1*^*ParentState2.ChildState6*^*">crossDown</td>
<td class="event-header" data-transition="Student*^*status*^*event1*^*ParentState1.ChildState1*^*ParentState1.ChildState2*^*">event1</td>
<td class="event-header" data-transition="Student*^*status*^*event2*^*ParentState2.ChildState3*^*ParentState2.ChildState4*^*">event2</td>
<td class="event-header" data-transition="Student*^*status*^*event3*^*ParentState2.ChildState5*^*ParentState2.ChildState6*^*">event3</td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1</td>
<td class="event-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*crossDown*^*ParentState1*^*ParentState2.ChildState6*^*">ChildState6</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState1</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*crossDown*^*ParentState1*^*ParentState2.ChildState6*^*">ChildState6</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState1*^*ParentState1.ChildState2*^*">ChildState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState2</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*crossDown*^*ParentState1*^*ParentState2.ChildState6*^*">ChildState6</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState2*^*ParentState1.ChildState1*^*">ChildState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState2</td>
<td class="event-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState3</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState3*^*ParentState2.ChildState4*^*">ChildState4</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState4</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState4*^*ParentState2.ChildState3*^*">ChildState3</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState5</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState5*^*ParentState2.ChildState6*^*">ChildState6</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState6</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState6*^*ParentState2.ChildState5*^*">ChildState5</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </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>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*crossDown*^*ParentState1*^*ParentState2.ChildState6*^*">crossDown</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState1*^*ParentState1.ChildState2*^*">event1</span></td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*crossDown*^*ParentState1*^*ParentState2.ChildState6*^*">crossDown</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState2</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState2*^*ParentState1.ChildState1*^*">event1</span></td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*crossDown*^*ParentState1*^*ParentState2.ChildState6*^*">crossDown</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState2</td>
<td class="state-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState3</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState3*^*ParentState2.ChildState4*^*">event2</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState4</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState4*^*ParentState2.ChildState3*^*">event2</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState5</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState5*^*ParentState2.ChildState6*^*">event3</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState6</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState6*^*ParentState2.ChildState5*^*">event3</span></td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<h3>Composite state-event table</h3>
<div class="statetable-container">
<table class="statetable event-statetable">
<tr>
<td class="event-header"> </td>
<td class="event-header">event1</td>
<td class="event-header">crossDown</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="">ParentState1 (ChildState1)</td>
<td class="event-entry"><span>ParentState1 (ChildState2)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">ParentState1 (ChildState2)</td>
<td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>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"> </td>
<td class="state-header">ParentState1 (ChildState1)</td>
<td class="state-header">ParentState1 (ChildState2)</td>
<td class="state-header">ParentState2 (ChildState5 || ChildState3)</td>
<td class="state-header">ParentState2 (ChildState6 || ChildState3)</td>
<td class="state-header">ParentState2 (ChildState5 || ChildState4)</td>
<td class="state-header">ParentState2 (ChildState6 || ChildState4)</td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1 (ChildState1)</td>
<td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"><span>crossDown</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">ParentState1 (ChildState2)</td>
<td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"><span>crossDown</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> </tr>
</table>
</div>
<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 concurrentCrossSide.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</td>
<td class="event-header" data-transition="Student*^*status*^*crossSide*^*ParentState1.ChildState2*^*ParentState2.ChildState6*^*">crossSide</td>
<td class="event-header" data-transition="Student*^*status*^*event1*^*ParentState1.ChildState1*^*ParentState1.ChildState2*^*">event1</td>
<td class="event-header" data-transition="Student*^*status*^*event2*^*ParentState2.ChildState3*^*ParentState2.ChildState4*^*">event2</td>
<td class="event-header" data-transition="Student*^*status*^*event3*^*ParentState2.ChildState5*^*ParentState2.ChildState6*^*">event3</td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1</td>
<td class="event-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState1</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState1*^*ParentState1.ChildState2*^*">ChildState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState2</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*crossSide*^*ParentState1.ChildState2*^*ParentState2.ChildState6*^*">ChildState6</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState2*^*ParentState1.ChildState1*^*">ChildState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState2</td>
<td class="event-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState3</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState3*^*ParentState2.ChildState4*^*">ChildState4</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState4</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState4*^*ParentState2.ChildState3*^*">ChildState3</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState5</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState5*^*ParentState2.ChildState6*^*">ChildState6</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState6</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState6*^*ParentState2.ChildState5*^*">ChildState5</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </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>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState1*^*ParentState1.ChildState2*^*">event1</span></td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState2</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState2*^*ParentState1.ChildState1*^*">event1</span></td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*crossSide*^*ParentState1.ChildState2*^*ParentState2.ChildState6*^*">crossSide</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState2</td>
<td class="state-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState3</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState3*^*ParentState2.ChildState4*^*">event2</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState4</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState4*^*ParentState2.ChildState3*^*">event2</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState5</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState5*^*ParentState2.ChildState6*^*">event3</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState6</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState6*^*ParentState2.ChildState5*^*">event3</span></td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<h3>Composite state-event table</h3>
<div class="statetable-container">
<table class="statetable event-statetable">
<tr>
<td class="event-header"> </td>
<td class="event-header">event1</td>
<td class="event-header">crossSide</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="">ParentState1 (ChildState1)</td>
<td class="event-entry"><span>ParentState1 (ChildState2)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">ParentState1 (ChildState2)</td>
<td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>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"> </td>
<td class="state-header">ParentState1 (ChildState1)</td>
<td class="state-header">ParentState1 (ChildState2)</td>
<td class="state-header">ParentState2 (ChildState5 || ChildState3)</td>
<td class="state-header">ParentState2 (ChildState6 || ChildState3)</td>
<td class="state-header">ParentState2 (ChildState5 || ChildState4)</td>
<td class="state-header">ParentState2 (ChildState6 || ChildState4)</td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1 (ChildState1)</td>
<td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">ParentState1 (ChildState2)</td>
<td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"><span>crossSide</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> </tr>
</table>
</div>
<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 guardedTransitionDoublyNestedStateTable.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*power*^*On.OnOn.OnOnOn*^*On.Sleep*^* [stayOn]">power</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- OnOn</td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - OnOnOn</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*On.OnOn.OnOnOn*^*On.Sleep*^* [stayOn]">[getStayOn()] Sleep</span><br><span data-transition="Student*^*status*^*power*^*On.OnOn.OnOnOn*^*Off*^* [!stayOn]">[!getStayOn()] Off</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Sleep</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*On.Sleep*^*On.OnOn*^*">OnOn</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">On</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">On</td>
<td class="state-header">OnOn</td>
<td class="state-header">OnOnOn</td>
<td class="state-header">Sleep</td>
<td class="state-header">Off</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- OnOn</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="1">- - OnOnOn</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*On.OnOn.OnOnOn*^*On.Sleep*^* [stayOn]">power [getStayOn()]</span></td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*On.OnOn.OnOnOn*^*Off*^* [!stayOn]">power [!getStayOn()]</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Sleep</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*On.Sleep*^*On.OnOn*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<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 simple.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*power*^*On*^*Off*^*">power</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*On*^*Off*^*">Off</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">On</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">On</td>
<td class="state-header">Off</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*On*^*Off*^*">power</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">power</span></td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<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 timerTransitionStateTable.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*after(1)*^*On*^*Off*^*">after(1)</td>
<td class="event-header" data-transition="Student*^*status*^*power*^*Off*^*On*^*">power</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="event-entry"><span data-transition="Student*^*status*^*after(1)*^*On*^*Off*^*">Off</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">On</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">On</td>
<td class="state-header">Off</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*after(1)*^*On*^*Off*^*">after(1)</span></td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">power</span></td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<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 concurrentAlongsideNonConcurrentMultipleTransitionToSameStateWithGuardTransition.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*change1*^*ParentState2.ConcurrentSubState1*^*ParentState2.ConcurrentSubState2*^*">change1</td>
<td class="event-header" data-transition="Student*^*status*^*changeNonCon*^*ParentState1.NonConcurrentSubState1*^*ParentState1.NonConcurrentSubState2*^*">changeNonCon</td>
<td class="event-header" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</td>
<td class="event-header" data-transition="Student*^*status*^*double1*^*ParentState2.ConcurrentSubState2*^*ParentState2.ConcurrentSubState1*^*">double1</td>
<td class="event-header" data-transition="Student*^*status*^*double2*^*ParentState2.ConcurrentSubState2*^*ParentState2.ConcurrentSubState1*^*">double2</td>
<td class="event-header" data-transition="Student*^*status*^*guarded*^*ParentState2.Css1*^*ParentState2.Css2*^* [guard]">guarded</td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- NonConcurrentSubState1</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*changeNonCon*^*ParentState1.NonConcurrentSubState1*^*ParentState1.NonConcurrentSubState2*^*">NonConcurrentSubState2</span></td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- NonConcurrentSubState2</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*changeNonCon*^*ParentState1.NonConcurrentSubState2*^*ParentState1.NonConcurrentSubState1*^*">NonConcurrentSubState1</span></td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState2</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ConcurrentSubState1</td>
<td class="event-entry"><span data-transition="Student*^*status*^*change1*^*ParentState2.ConcurrentSubState1*^*ParentState2.ConcurrentSubState2*^*">ConcurrentSubState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ConcurrentSubState2</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*double1*^*ParentState2.ConcurrentSubState2*^*ParentState2.ConcurrentSubState1*^*">ConcurrentSubState1</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*double2*^*ParentState2.ConcurrentSubState2*^*ParentState2.ConcurrentSubState1*^*">ConcurrentSubState1</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- Css1</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*guarded*^*ParentState2.Css1*^*ParentState2.Css2*^* [guard]">[getGuard()] Css2</span><br><span data-transition="Student*^*status*^*guarded*^*ParentState2.Css1*^*ParentState2.Css3*^* [!guard]">[!getGuard()] Css3</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- Css2</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*guarded*^*ParentState2.Css2*^*ParentState2.Css1*^*">Css1</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- Css3</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*guarded*^*ParentState2.Css3*^*ParentState2.Css1*^*">Css1</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">ParentState1</td>
<td class="state-header">NonConcurrentSubState1</td>
<td class="state-header">NonConcurrentSubState2</td>
<td class="state-header">ParentState2</td>
<td class="state-header">ConcurrentSubState1</td>
<td class="state-header">ConcurrentSubState2</td>
<td class="state-header">Css1</td>
<td class="state-header">Css2</td>
<td class="state-header">Css3</td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- NonConcurrentSubState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*changeNonCon*^*ParentState1.NonConcurrentSubState1*^*ParentState1.NonConcurrentSubState2*^*">changeNonCon</span></td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- NonConcurrentSubState2</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*changeNonCon*^*ParentState1.NonConcurrentSubState2*^*ParentState1.NonConcurrentSubState1*^*">changeNonCon</span></td>
<td class="state-entry"> </td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState2</td>
<td class="state-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ConcurrentSubState1</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*change1*^*ParentState2.ConcurrentSubState1*^*ParentState2.ConcurrentSubState2*^*">change1</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ConcurrentSubState2</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*double1*^*ParentState2.ConcurrentSubState2*^*ParentState2.ConcurrentSubState1*^*">double1</span><br><span data-transition="Student*^*status*^*double2*^*ParentState2.ConcurrentSubState2*^*ParentState2.ConcurrentSubState1*^*">double2</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- Css1</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*guarded*^*ParentState2.Css1*^*ParentState2.Css2*^* [guard]">guarded [getGuard()]</span></td>
<td class="state-entry"><span data-transition="Student*^*status*^*guarded*^*ParentState2.Css1*^*ParentState2.Css3*^* [!guard]">guarded [!getGuard()]</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- Css2</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*guarded*^*ParentState2.Css2*^*ParentState2.Css1*^*">guarded</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- Css3</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*guarded*^*ParentState2.Css3*^*ParentState2.Css1*^*">guarded</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<h3>Composite state-event table</h3>
<div class="statetable-container">
<table class="statetable event-statetable">
<tr>
<td class="event-header"> </td>
<td class="event-header">guarded</td>
<td class="event-header">double2</td>
<td class="event-header">double1</td>
<td class="event-header">change1</td>
<td class="event-header">changeNonCon</td>
<td class="event-header">changeParent</td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1 (NonConcurrentSubState1)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState2)</span></td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css1)</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">ParentState1 (NonConcurrentSubState2)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css1)</span></td> </tr>
<tr>
<td class="state-header" data-parent="">ParentState2 (ConcurrentSubState1 || Css1)</td>
<td class="event-entry"><span>[getGuard()] ParentState2 (ConcurrentSubState1 || Css2)<br>[!getGuard()] ParentState2 (Css3 || ConcurrentSubState1)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState2 || Css1)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ConcurrentSubState1 || Css2)</td>
<td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css1)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState2 || Css2)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (Css3 || ConcurrentSubState1)</td>
<td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css1)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (Css3 || ConcurrentSubState2)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ConcurrentSubState2 || Css1)</td>
<td class="event-entry"><span>[getGuard()] ParentState2 (ConcurrentSubState2 || Css2)<br>[!getGuard()] ParentState2 (Css3 || ConcurrentSubState2)</span></td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css1)</span></td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css1)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ConcurrentSubState2 || Css2)</td>
<td class="event-entry"><span>ParentState2 (ConcurrentSubState2 || Css1)</span></td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css2)</span></td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css2)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (Css3 || ConcurrentSubState2)</td>
<td class="event-entry"><span>ParentState2 (ConcurrentSubState2 || Css1)</span></td> <td class="event-entry"><span>ParentState2 (Css3 || ConcurrentSubState1)</span></td> <td class="event-entry"><span>ParentState2 (Css3 || ConcurrentSubState1)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</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"> </td>
<td class="state-header">ParentState1 (NonConcurrentSubState1)</td>
<td class="state-header">ParentState1 (NonConcurrentSubState2)</td>
<td class="state-header">ParentState2 (ConcurrentSubState1 || Css1)</td>
<td class="state-header">ParentState2 (ConcurrentSubState1 || Css2)</td>
<td class="state-header">ParentState2 (Css3 || ConcurrentSubState1)</td>
<td class="state-header">ParentState2 (ConcurrentSubState2 || Css1)</td>
<td class="state-header">ParentState2 (ConcurrentSubState2 || Css2)</td>
<td class="state-header">ParentState2 (Css3 || ConcurrentSubState2)</td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1 (NonConcurrentSubState1)</td>
<td class="state-entry"> </td> <td class="state-entry"><span>changeNonCon</span></td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">ParentState1 (NonConcurrentSubState2)</td>
<td class="state-entry"><span>changeNonCon</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="">ParentState2 (ConcurrentSubState1 || Css1)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded [getGuard()]</span></td> <td class="state-entry"><span>guarded [!getGuard()]</span></td> <td class="state-entry"><span>change1</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ConcurrentSubState1 || Css2)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>change1</span></td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (Css3 || ConcurrentSubState1)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>change1</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ConcurrentSubState2 || Css1)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>double2<br>double1</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded [getGuard()]</span></td> <td class="state-entry"><span>guarded [!getGuard()]</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ConcurrentSubState2 || Css2)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>double2<br>double1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (Css3 || ConcurrentSubState2)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>double2<br>double1</span></td> <td class="state-entry"><span>guarded</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
</table>
</div>
<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 concurrentCrossUp.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</td>
<td class="event-header" data-transition="Student*^*status*^*crossUp*^*ParentState1.ChildState2*^*ParentState2*^*">crossUp</td>
<td class="event-header" data-transition="Student*^*status*^*event1*^*ParentState1.ChildState1*^*ParentState1.ChildState2*^*">event1</td>
<td class="event-header" data-transition="Student*^*status*^*event2*^*ParentState2.ChildState3*^*ParentState2.ChildState4*^*">event2</td>
<td class="event-header" data-transition="Student*^*status*^*event3*^*ParentState2.ChildState5*^*ParentState2.ChildState6*^*">event3</td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1</td>
<td class="event-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState1</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState1*^*ParentState1.ChildState2*^*">ChildState2</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState2</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*crossUp*^*ParentState1.ChildState2*^*ParentState2*^*">ParentState2</span></td>
<td class="event-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState2*^*ParentState1.ChildState1*^*">ChildState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState2</td>
<td class="event-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState3</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState3*^*ParentState2.ChildState4*^*">ChildState4</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState4</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState4*^*ParentState2.ChildState3*^*">ChildState3</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState5</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState5*^*ParentState2.ChildState6*^*">ChildState6</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState6</td>
<td class="event-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">ParentState1</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState6*^*ParentState2.ChildState5*^*">ChildState5</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </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>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState1</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState1*^*ParentState1.ChildState2*^*">event1</span></td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- ChildState2</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event1*^*ParentState1.ChildState2*^*ParentState1.ChildState1*^*">event1</span></td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*crossUp*^*ParentState1.ChildState2*^*ParentState2*^*">crossUp</span><br><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState1*^*ParentState2*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState2</td>
<td class="state-entry"><span data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState3</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState3*^*ParentState2.ChildState4*^*">event2</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState4</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event2*^*ParentState2.ChildState4*^*ParentState2.ChildState3*^*">event2</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState5</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState5*^*ParentState2.ChildState6*^*">event3</span></td>
</tr>
<tr>
<td class="state-header" data-parent="3">- ChildState6</td>
<td class="state-entry"><span class="derived" data-transition="Student*^*status*^*changeParent*^*ParentState2*^*ParentState1*^*">changeParent</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*event3*^*ParentState2.ChildState6*^*ParentState2.ChildState5*^*">event3</span></td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<h3>Composite state-event table</h3>
<div class="statetable-container">
<table class="statetable event-statetable">
<tr>
<td class="event-header"> </td>
<td class="event-header">event1</td>
<td class="event-header">crossUp</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="">ParentState1 (ChildState1)</td>
<td class="event-entry"><span>ParentState1 (ChildState2)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">ParentState1 (ChildState2)</td>
<td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>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"> </td>
<td class="state-header">ParentState1 (ChildState1)</td>
<td class="state-header">ParentState1 (ChildState2)</td>
<td class="state-header">ParentState2 (ChildState5 || ChildState3)</td>
<td class="state-header">ParentState2 (ChildState6 || ChildState3)</td>
<td class="state-header">ParentState2 (ChildState5 || ChildState4)</td>
<td class="state-header">ParentState2 (ChildState6 || ChildState4)</td>
</tr>
<tr>
<td class="state-header" data-parent="">ParentState1 (ChildState1)</td>
<td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">ParentState1 (ChildState2)</td>
<td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossUp<br>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> </tr>
<tr>
<td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td>
<td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> </tr>
</table>
</div>
<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 transitionWithActionNestedStateTable.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*power*^*On.OnOn*^*Off*^*">power</td>
<td class="event-header" data-transition="Student*^*status*^*sleepButton*^*On.OnOn*^*On.Sleep*^*">sleepButton</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- OnOn</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*On.OnOn*^*Off*^*">Off</span></td>
<td class="event-entry"><span data-action="/ someAction();" data-transition="Student*^*status*^*sleepButton*^*On.OnOn*^*On.Sleep*^*">Sleep</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Sleep</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*On.Sleep*^*On.OnOn*^*">OnOn</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">On</span></td>
<td class="event-entry"> </td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">On</td>
<td class="state-header">OnOn</td>
<td class="state-header">Sleep</td>
<td class="state-header">Off</td>
</tr>
<tr>
<td class="state-header" data-parent="">On</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- OnOn</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*sleepButton*^*On.OnOn*^*On.Sleep*^*">sleepButton</span></td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*On.OnOn*^*Off*^*">power</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Sleep</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*On.Sleep*^*On.OnOn*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="">Off</td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*Off*^*On*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<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 concurrentTimerTransitionStateTableDifferentTimer.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"> </td>
<td class="event-header" data-transition="Student*^*status*^*after(1)*^*OverState.On*^*OverState.Off*^*">after(1)</td>
<td class="event-header" data-transition="Student*^*status*^*after(2)*^*OverState.Yes*^*OverState.No*^*">after(2)</td>
<td class="event-header" data-transition="Student*^*status*^*power*^*OverState.Off*^*OverState.On*^*">power</td>
<td class="event-header" data-transition="Student*^*status*^*test*^*OverState.No*^*OverState.Yes*^*">test</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- On</td>
<td class="event-entry"><span data-transition="Student*^*status*^*after(1)*^*OverState.On*^*OverState.Off*^*">Off</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Off</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*power*^*OverState.Off*^*OverState.On*^*">On</span></td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Yes</td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*after(2)*^*OverState.Yes*^*OverState.No*^*">No</span></td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- No</td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"> </td>
<td class="event-entry"><span data-transition="Student*^*status*^*test*^*OverState.No*^*OverState.Yes*^*">Yes</span></td>
</tr>
</table>
</div>
<h3>State-state table</h3>
<div class="statetable-container">
<table class="statetable state-statetable">
<tr>
<td class="state-header"> </td>
<td class="state-header">OverState</td>
<td class="state-header">On</td>
<td class="state-header">Off</td>
<td class="state-header">Yes</td>
<td class="state-header">No</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- On</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*after(1)*^*OverState.On*^*OverState.Off*^*">after(1)</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Off</td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*power*^*OverState.Off*^*OverState.On*^*">power</span></td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
</tr>
<tr>
<td class="state-header" data-parent="0">- Yes</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*after(2)*^*OverState.Yes*^*OverState.No*^*">after(2)</span></td>
</tr>
<tr>
<td class="state-header" data-parent="0">- No</td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"> </td>
<td class="state-entry"><span data-transition="Student*^*status*^*test*^*OverState.No*^*OverState.Yes*^*">test</span></td>
<td class="state-entry"> </td>
</tr>
</table>
</div>
<h3>Composite state-event table</h3>
<div class="statetable-container">
<table class="statetable event-statetable">
<tr>
<td class="event-header"> </td>
<td class="event-header">after(2)</td>
<td class="event-header">after(1)</td>
<td class="event-header">test</td>
<td class="event-header">power</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState (Yes || On)</td>
<td class="event-entry"><span>OverState (No || On)</span></td> <td class="event-entry"><span>OverState (Yes || Off)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || On)</td>
<td class="event-entry"> </td> <td class="event-entry"><span>OverState (No || Off)</span></td> <td class="event-entry"><span>OverState (Yes || On)</span></td> <td class="event-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes || Off)</td>
<td class="event-entry"><span>OverState (No || Off)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes || On)</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || Off)</td>
<td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes || Off)</span></td> <td class="event-entry"><span>OverState (No || On)</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"> </td>
<td class="state-header">OverState (Yes || On)</td>
<td class="state-header">OverState (No || On)</td>
<td class="state-header">OverState (Yes || Off)</td>
<td class="state-header">OverState (No || Off)</td>
</tr>
<tr>
<td class="state-header" data-parent="">OverState (Yes || On)</td>
<td class="state-entry"> </td> <td class="state-entry"><span>after(2)</span></td> <td class="state-entry"><span>after(1)</span></td> <td class="state-entry"> </td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || On)</td>
<td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>after(1)</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (Yes || Off)</td>
<td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>after(2)</span></td> </tr>
<tr>
<td class="state-header" data-parent="0">OverState (No || Off)</td>
<td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> </tr>
</table>
</div>