编写一个PLC程序来控制十字路口的红绿灯，需要考虑红绿灯的亮灭顺序和时间。以下是一个基本的PLC程序示例，使用西门子S7-200 PLC的梯形图语言（LAD）编写：
定义输出端
红灯：Q0.0
黄灯：Q0.1
绿灯：Q0.2
定义定时器
T30S：30秒定时器
T5S：5秒定时器
T25S：25秒定时器
程序逻辑
初始化：当I0.0为真时，启动程序，绿灯亮（Q0.0为真）。
红灯逻辑：
当红灯时间到（T30S到期），红灯熄灭（Q0.0为假），黄灯亮（Q0.1为真）。
黄灯逻辑：
当黄灯时间到（T5S到期），黄灯熄灭（Q0.1为假），红灯亮（Q0.0为真）。
绿灯逻辑：
当绿灯时间到（T25S到期），绿灯熄灭（Q0.2为假），黄灯亮（Q0.1为真）。
循环上述逻辑，直到I0.0为假（停止信号）。
```lad
// 定义信号灯的输出地址
VAR
// 红灯
Red : BOOL := FALSE;
// 黄灯
Yellow : BOOL := FALSE;
// 绿灯
Green : BOOL := FALSE;
// 定义定时器
T30S : Timer := FALSE;
T5S : Timer := FALSE;
T25S : Timer := FALSE;
END_VAR
// 初始化程序
IF I0.0 THEN
Red := TRUE;
Yellow := FALSE;
Green := FALSE;
END_IF;
// 红灯逻辑
IF NOT Red AND T30S.Q THEN
Red := FALSE;
Yellow := TRUE;
END_IF;
// 黄灯逻辑
IF Yellow AND NOT T5S.Q THEN
Yellow := FALSE;
Red := TRUE;
END_IF;
// 绿灯逻辑
IF NOT Red AND NOT Yellow AND T25S.Q THEN
Green := TRUE;
Yellow := FALSE;
END_IF;
// 结束程序
END_PROGRAM
```
这个程序示例展示了如何使用PLC的定时器和逻辑指令来实现十字路口红绿灯的控制。你可以根据实际需求调整定时器的时间和灯的亮灭顺序。