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

fYear

2012

fDate

10-13 Dec. 2012

Firstpage

6716

Lastpage

6721

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control (CDC), 2012 IEEE 51st Annual Conference on

Conference_Location

Maui, HI

ISSN

0743-1546

Print_ISBN

978-1-4673-2065-8

Electronic_ISBN

0743-1546

Type

conf

DOI

10.1109/CDC.2012.6426901

Filename

6426901