Programmable logic controllers (PLCs) are at the forefront of manufacturing automation. Many factories use programmable logic controllers to cut production costs and/or increase quality. PLCs and their unique language, ladder logic, are the workhorses of factory automation. Higher-level languages, such as sequential function charts and function blocks, ease the programming task for large systems. However, ladder logic remains the dominant language at present