Architecture of a ladder solving processor for programmable controllers
Microprocessors & Microsystems
Translating unrestricted relay ladder logic into Boolean form
Computers in Industry
An event chaining relay ladder logic solver
Computers in Industry
Introducing X-machine models to verify PLC ladder diagrams
Computers in Industry
The recognition of Series Parallel digraphs
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Exceptions in a Programmable Logic Controller implementation based on ADA
Computers in Industry
Ladder diagram and Petri-net-based discrete-event control design methods
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Hi-index | 0.00 |
The standard IEC 61131-3 defines four programming languages for PLC, and the Ladder Diagram is the most predominant one among them. As the Ladder Diagram is a graphical language and cannot be directly executed by general PLC processor, most commercial PLC programming systems, e.g. SIEMENS S7, MITSUBISHI Gx Developer, OMRON Gx Programmer, use Instruction List as intermediate language between the Ladder Diagram and the machine instructions of the processor. However, the Instruction List generated by these programming systems fails to comply with IEC 61131-3. In this paper, we present a method to compile a Ladder Diagram into an Instruction List that fully complies with IEC 61131-3. Several unclear aspects of the standard in compilation, such as the use of EN and ENO, the evaluation of EN, multiple coils and topology restrictions, are discussed before the method is presented. The mathematical definition of Two Terminal Series Parallel unidigraphs is proposed for the first time to represent the Ladder Diagram networks that are composed of connections in series and parallel. Based on the property of TTSP, a method is suggested to verify the topology of the Ladder Diagram. Finally, a complex compilation example shows that the proposed method is correct and has the advantages of ease of understanding, modification, and maintenance.