Title :
Method for translating ladder diagrams to ordinary Petri nets
Author :
Xuekun Chen ; Jiliang Luo ; Pengfei Qi
Author_Institution :
Dept. of Control Sci. & Eng., Huaqiao Univ., Xiamen, China
Abstract :
Programmable logic controllers (PLCs) have been widely used in safe-critical systems, such as railway, nuclear power stations and petrochemical plants. Hence, the reliability and correctness of PLC programs are so important that formal methods are required to guarantee them. An algorithm is proposed to translate a Ladder Diagram (LD) to an ordinary Petri net (PN) system. Consequently, the PN theory can be used to simulate and analyze LD programs to verify whether PLC systems are live, reversible, and free of race and deadlocks.
Keywords :
Petri nets; control engineering computing; programmable controllers; programming languages; safety-critical software; LD programs; PLC program correctness; PLC program reliability; PN system; PN theory; formal methods; ladder diagrams; nuclear power stations; ordinary Petri nets; petrochemical plants; programmable logic controllers; railway; safe-critical systems; Coils; Junctions; Mathematical model; Petri nets; Rails; System recovery; Timing; Petri nets; ladder diagram; programmable logic controller; supervisory control;
Conference_Titel :
Decision and Control (CDC), 2012 IEEE 51st Annual Conference on
Conference_Location :
Maui, HI
Print_ISBN :
978-1-4673-2065-8
Electronic_ISBN :
0743-1546
DOI :
10.1109/CDC.2012.6426901
