Traffic congestion is a common occurrence in Indonesia. Traffic congestion is increasing from year to year, causing many things to happen, such as longer travel time, increased transportation costs, serious disruptions to transporting products, decreasing levels of work productivity, and wasteful use of labor energy. Congestion is also caused by a traffic light control system that is made with a fixed time so it can not detect the density of certain paths. Traffic lights in Indonesia, frequent damage that makes the density and the flow of his road vehicles can not be controlled. From these problems, conducted research to reduce the density of vehicles using infrared sensors and see the waiting time of the vehicle when the red light. The traffic light control system will use Fuzzy Logic Mamdani method. In Mamdani method by applying fuzzy into each variable and will be done matching between rule with condition which fulfilled to determine contents of output to be executed by prototype. This congestion detection will help the system in controlling the green light time by looking at stable, medium, and traffic jams. When the bottleneck starts to detect, the prototype will add a green light time according to the condition that is 0 seconds, 5 seconds, 10 seconds, and 15 seconds. However, when the streets are not detected by traffic jams, the green light will be back to normal at 15 seconds without additional time
Modelling and Analysis of Traffic Light Control Systems Using Timed Coloured Petri nets