Ladders are used as a pseudo-electric representation of boolean expressions. They are used by some vendors of industrial automats (including Schneider/Télémécanique and Siemens).
