1) European Traffic Light

Traffic lights consist of three signals, transmitting meaningful information to road users through colours which are red to stop traffic, orange for traffic change, and green to allow traffic to proceed. In Europe, they follow the cycle: green, orange, red, green, orange, red, ...

The constants t_G, t_O, t_R define the time allocated for the colours green, orange and red.

2) American Traffic Light

In America, traffic lights follow the cycle: green, orange, red, orange, green, orange, red, orange, green, orange,...

3) European Traffic Light with Failure

In this example, when the failure occurs, we need to switch off the traffic light and send a message warning the vehicles. To do so, we create a transient phase with its null sojourn time. The same thing happens when the failure is over. We insert another transient phase to switch on the traffic light and send a message saying that the cars can move forward safely again.

4) Pedestrian Traffic Light

A pedestrian traffic light follows the cycle: green, blinking green, red, green, blinking green, red, .... When the pedestrian clicks the button, we need to switch from red to green. To do so, we create a transient phase with its null sojourn time with before, the click input, and after the output message to tell the pedestrians they can move forward.

5) Cars and Pedestrians Traffic Light 1

In this example, the pedestrian traffic light fully controls the cars traffic light.

6) Cars and Pedestrians Traffic Light 2

The pedestrian traffic light sends a message to the cars traffic light when a pedestrian clicks the button to be able to cross the road. In this configuration, both lights for pedestrians and cars can be red at the same time.