使用PLC编程控制交通灯通常涉及以下步骤：
硬件配置
选择合适的PLC型号，如S7-1200。
准备必要的输入输出模块，用于连接交通灯的实际控制设备。
将交通灯（红、黄、绿）分别连接到PLC的输出端口。
定义变量和定时器
定义状态变量来表示当前交通灯的状态（例如，红灯、绿灯、黄灯）。
定义定时器来控制每个灯的亮起和熄灭时间。
编写程序逻辑
使用梯形图（LAD）或结构文本（ST）编写程序。
根据交通灯的控制要求，设计程序逻辑，确保灯按照预定的顺序和时间间隔亮起和熄灭。
实现交通灯的循环控制，例如：红灯→黄灯→绿灯→黄灯，然后循环。
实现控制逻辑
编写控制逻辑，包括灯的初始状态设置、定时器的时间设置、状态切换等。
添加必要的互锁和保护措施，确保程序运行的安全性和稳定性。
调试和测试
上电测试，确保所有灯都能正确亮起和熄灭。
进行功能测试，验证程序逻辑是否符合预期。
调整定时器时间，确保交通灯的切换时间符合实际需求。
```pascal
PROGRAM TrafficLightControl
VAR
GreenTimer: TON；// 绿灯定时器
YellowTimer: TON； // 黄灯定时器
RedTimer: TON； // 红灯定时器
GreenDuration: TIME := T10s； // 绿灯持续时间10秒
YellowDuration: TIME := T5s； // 黄灯持续时间5秒
RedDuration: TIME := T10s；// 红灯持续时间10秒
CurrentState: BYTE := 0； // 状态0： 红灯，状态1： 绿灯，状态2： 黄灯
RedLight: BOOL； // 红灯
GreenLight: BOOL； // 绿灯
YellowLight: BOOL； // 黄灯
END_VAR
// 主程序逻辑
CASE CurrentState OF
0: // 红灯状态
RedLight := TRUE；
GreenLight := FALSE；
YellowLight := FALSE；
GreenTimer（IN := TRUE）； // 启动绿灯定时器
WHEN 1: // 绿灯状态
RedLight := FALSE；
GreenLight := TRUE；
YellowLight := FALSE；
YellowTimer（IN := TRUE）； // 启动黄灯定时器
WHEN 2: // 黄灯状态
RedLight := FALSE；
GreenLight := FALSE；
YellowLight := TRUE；
RedTimer（IN := TRUE）； // 启动红灯定时器
END_CASE
// 定时器中断服务程序
IF RedTimer.Q THEN
CurrentState := 1； // 切换到绿灯状态
END_IF
IF YellowTimer.Q THEN
CurrentState := 2； // 切换到黄灯状态
END_IF
IF GreenTimer.Q THEN
CurrentState := 0； // 切换到红灯状态
END_IF
```
这个程序定义了三个定时器分别控制红灯、黄灯和绿灯的亮起和熄灭，并使用一个状态变量来跟踪当前的交通灯状态。定时器中断服务程序负责在定时器超时时切换状态。
请注意，这只是一个基本示例，实际应用中可能需要根据具体的交通灯控制系统进行调整和优化。