以下是一个使用结构文本（ST）编写的详细交通灯PLC程序。这个程序会控制一个具有红灯、黄灯和绿灯的交通灯系统，每个灯按一定的顺序和时间间隔亮起和熄灭。
PROGRAM TrafficLightControl
VAR
// 定义定时器
GreenTimer: TON; // 绿灯定时器
YellowTimer: TON; // 黄灯定时器
RedTimer: TON; // 红灯定时器
// 定时器时间设置（单位：毫秒）
GreenDuration: TIME := T#10s; // 绿灯持续时间10秒
YellowDuration: TIME := T#5s; // 黄灯持续时间5秒
RedDuration: TIME := T#10s; // 红灯持续时间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;
// 启动红灯定时器
RedTimer(IN := TRUE, PT := RedDuration);
// 如果红灯定时器完成，切换到绿灯状态
IF RedTimer.Q THEN
CurrentState := 1;
END_IF;
1: // 绿灯状态
RedLight := FALSE;
GreenLight := TRUE;
YellowLight := FALSE;
// 启动绿灯定时器
GreenTimer(IN :=TRUE, PT := GreenDuration);
// 如果绿灯定时器完成，切换到黄灯状态
IF GreenTimer.Q THEN
CurrentState := 2;
END_IF;
2: // 黄灯状态
RedLight := FALSE;
GreenLight := FALSE;
YellowLight := TRUE;
// 启动黄灯定时器
YellowTimer(IN:=TRUE, PT := YellowDuration);
// 如果黄灯定时器完成，切换回红灯状态
IF YellowTimer.Q THEN
CurrentState := 0;
END_IF;
// 默认情况（理论上不会发生，因为状态变量只定义了0, 1, 2）
ELSE
RedLight := FALSE;
GreenLight := FALSE;
YellowLight := FALSE;
END_CASE;
// 注意：在实际应用中，可能需要添加额外的错误处理和状态监控逻辑。
// 此外，这里的定时器使用的是上升沿触发（IN := TRUE），这意味着它们会在每次扫描周期开始时重置，
// 除非有特定的逻辑来保持IN为TRUE直到定时器完成。在这个简单的例子中，我们假设IN始终为TRUE，
// 因为我们只在定时器完成后改变状态。在实际应用中，可能需要更复杂的逻辑来处理定时器的启动和停止。
这个程序使用了CASE语句来根据当前状态（CurrentState）设置交通灯的输出（RedLight,GreenLight,YellowLight）。对于每个状态，它都会启动相应的定时器，并在定时器完成时切换到下一个状态。注意，这里的定时器时间是以毫秒为单位的，所以T#10s表示10秒。在实际应用中，你可能需要根据你的PLC和编程环境来调整时间单位和格式。
