Interactive Mode Simulation : Interactive Simulation Example : Simulating the Traffic Light in the Synchronous Time Model

Simulating the Traffic Light in the Synchronous Time Model

Using the same time setting as in the asynchronous example, follow the commands in the following table to execute the model with the synchronous time model. Please observe the time increments and stable and unstable configurations.

 
INITIAL
CONFIGURATION
FINAL
CONFIGURATION
A stable configuration is reached. Show Future displays next timeout in 20 clock units.
n_s.green_light,
e_w.red_light
n_s.green_light,
e_w.red_light
Show Future indicates one unit until next timeout.
n_s.green_light,
e_w.red_light
First Go Step makes transition. Second goes to stable configuration.
n_s.red_light,
e_w.green_light
Clock advanced 3 units and transitions are made based on timeout.
n_s.red_light,
e_w.green_light
n_s.red_light,
e_w.green_light
Move to stable configuration.