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.