2012 IEEE 51st IEEE Conference on Decision and Control (CDC) 2012
DOI: 10.1109/cdc.2012.6426901
|View full text |Cite
|
Sign up to set email alerts
|

Method for translating ladder diagrams to ordinary Petri nets

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 r… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
3
0
2

Year Published

2017
2017
2024
2024

Publication Types

Select...
3
2
2

Relationship

0
7

Authors

Journals

citations
Cited by 9 publications
(5 citation statements)
references
References 22 publications
0
3
0
2
Order By: Relevance
“…Chen et al [13] propose an algorithm to convert LLDs to ordinary PNs to validate and debug controller applications. They introduce a systematic approach which demonstrates advantages over element-wise conversion.…”
Section: Related Workmentioning
confidence: 99%
“…Chen et al [13] propose an algorithm to convert LLDs to ordinary PNs to validate and debug controller applications. They introduce a systematic approach which demonstrates advantages over element-wise conversion.…”
Section: Related Workmentioning
confidence: 99%
“…Petri net adalah model yang banyak digunakan di antaranya pada sistem manufaktur [1][2][3][4][5] Pemodelan ini cocok untuk analisa dan perancangan sistem otomatis yang mencakup berbagai sub sistem, khususnya yang terkategori sebagai sistem kejadian diskrit. Pada sistem semacam ini, berbagai sub proses yang berdiri sendiri terangkai satu sama lain dalam jalinan rangkaian kejadian (event).…”
Section: Pendahuluanunclassified
“…Pustaka [1,2,3] mengangkat metode implementasi petri net untuk kendali sistem kejadian diskrit pada PLC menggunakan pemrograman ladder diagram yang standar digunakan. Terkait erat hal tersebut, pustaka [4,5] melakukan pendekatan dari arah sebaliknya. Model petri net dibangun berdasarkan program ladder diagram yang sudah terimplementasi pada PLC.…”
Section: Pemodelan Petri Netunclassified
“…Moreover, ladder diagrams written in ladder logic, a graphical programming language originated from the design and construction of relay racks as used in process control and manufacturing, could also be translated to common Petri nets [13], [14]. Consequently, the proposed solution in this paper might directly be applied to such logic programs written in SFC and Ladder programming languages.…”
Section: Introductionmentioning
confidence: 99%