| Modelica.StateGraph.StepWithSignal | green | | |
| Modelica.StateGraph.TransitionWithSignal | T1 | | |
| Modelica.StateGraph.StepWithSignal | yellow | | |
| Modelica.StateGraph.StepWithSignal | red | | |
| Modelica.StateGraph.TransitionWithSignal | T3 | | |
| Modelica.Blocks.Logical.Timer | timer2 | | |
| Modelica.Blocks.Logical.GreaterEqualThreshold | greaterEqual2 | | |
| Modelica.StateGraph.TransitionWithSignal | T2 | | |
| Modelica.Blocks.Logical.Timer | timer1 | | |
| Modelica.Blocks.Logical.GreaterEqualThreshold | greaterEqual1 | | |
| Modelica.Blocks.Logical.Timer | timer3 | | |
| Modelica.Blocks.Logical.GreaterEqualThreshold | greaterEqual3 | | |
| Modelica.Blocks.Sources.BooleanExpression | green_active | | |
| Modelica.Blocks.Sources.BooleanExpression | yellow_active | | |
| Modelica.Blocks.Sources.BooleanExpression | red_active | | |
| Modelica.StateGraph.InitialStepWithSignal | initialStep | | |
| Modelica.StateGraph.TransitionWithSignal | T0 | | |
| Modelica.Blocks.Logical.Timer | timer0 | | |
| Modelica.Blocks.Logical.GreaterEqualThreshold | greaterEqual0 | | |
| Modelica.StateGraph.StateGraphRoot | stateGraphRoot | | |