互锁的程序图可以通过不同的方式来表示，具体取决于你想要展示的互锁类型和上下文。以下是几种常见的表示方法：
状态图
状态图可以表示互锁元件的状态，通常使用两个状态分别表示正转和反转。例如，元件A在正转时，元件B必须处于反转状态，反之亦然。
逻辑图
逻辑图使用逻辑门、触发器或其他逻辑元件来实现互锁的逻辑。逻辑图中可以使用触发条件和执行条件来描述互锁的条件。例如，当元件A处于正转状态时，元件B的常闭触点会断开，从而确保元件B不会导通。
流程图
流程图使用条件分支和循环等控制结构来描述互锁的执行流程。流程图中可以明确指示在什么条件下执行哪些操作，以及这些操作之间的依赖关系。
有向图
在多线程编程中，互锁原理图通常使用有向图来表示，其中节点代表不同的线程，边表示线程之间的依赖关系。箭头的方向表示线程的执行顺序，确保线程按照特定的顺序执行。
PLC控制图
在PLC编程中，可以使用梯形图来实现互锁控制。梯形图由多个起保停的梯形图加上它们之间的互锁触点构成。例如，停止按钮的常闭触点可以作为正反转的互锁点，确保在某一时刻只有一个接触器能够通电。
示例：PLC控制三相异步电动机的正反转
硬件接线图
停止按钮SB1对应PLC的I0.1。
正转启动按钮SB2对应I0.2，其常闭触点为反转的按钮互锁点。
反转启动按钮SB3的常开点为反转的启动按钮，其常闭点为正转的互锁点。
Q0.1与Q0.2为接触器KM1与KM2，Q0.1的常开点为正转的自锁点，Q0.1的常闭点为反转的互锁点。
梯形图
两个起保停的梯形图分别对应正转和反转的控制逻辑。
在正转的梯形图中，当X0（正转启动按钮）接通时，Y0（正转接触器）导通，同时Y1（反转接触器）的常闭触点断开，确保Y1不导通。
在反转的梯形图中，当X1（反转启动按钮）接通时，Y1（反转接触器）导通，同时Y0（正转接触器）的常闭触点断开，确保Y0不导通。
通过互锁触点确保在某一时刻只有一个接触器能够通电，从而实现正反转的互锁控制。
通过以上方法，你可以根据具体的互锁需求和上下文选择合适的程序图形式来表示互锁逻辑。