ระยะเวลาของสัญญาณไฟจราจรใช้อะไรเป็นตัวกำหนด ??

สงสัยมานานแล้วครับ ว่าระยะเวลาของไฟแดง ไฟเหลือง ไฟเขียว ของสัญญานไฟจราจรตามสี่แยกเนี่ย เขากำหนดหรือมีสูตรอะไรมาคำนวณหรอครับ ว่าเขียวต้องกี่วินาที แดงต้องกี่วินาที ทำไมบางที่แดงนาน บางที่เขียวนาน