Abstract
Ladder diagram (LD) is a common programming language at industry in order to develops control algorithms of discrete event systems. Besides, it is one of the five pro- gramming languages supported by the International Elec- trotechnical Commission through the IEC-61131-3 stan- dard. Petri net (PN) theory is both a graphical and mathe- matical tool, which allows modeling discrete event systems in order to obtain a useful formalization to analyze them in a better way. LD control algorithms are continuously devel- oped based on the experience of control system developers. Therefore, it is still a relevant problem on how to formal- ize a validation for the current and new control algorithms. In the present work, an element-to-element transformation methodology from a LD program to a PN structure is pro- posed. The original part of this manuscript is the proposal of five PN structures where their markings represent the states and dynamic behavior of energized and de-energized coils, which are not included in previous works. Furthermore, this
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
