Skip to main content
SpringerLink
Log in

Petri net models of discrete logics used in control algorithms developed in ladder diagram language

  • ORIGINAL ARTICLE
  • Published:
The International Journal of Advanced Manufacturing Technology Aims and scope Submit manuscript

Abstract

Control algorithms for programmable logic controllers are still developed based on the experience of those responsible for control in the industry. The IEC-61131-3 standard considers five programming languages: Ladder Diagram, Structured Text, Function Block Diagram, Instruction List, and Sequential Function Diagram, which use different function blocks to develop control algorithms. Within the control algorithms for discrete event systems, there are two types of blocks: those with discrete inputs and outputs, and those with discrete and analog inputs and discrete output. Of the latter, the present research shows the analysis and formal model of the blocks including the problems of accumulation of tokens and the restoration of the coils. This proposal includes logical blocks of timers, counters, positive and negative transition detectors and bistable elements, which, together with the AND, OR, AND-OR, contact lock, auto-loop and Set-Reset logics, can be modeled and analyzed control algorithms with a greater degree of complexity. This guarantees the safety of workers as well as machines.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Algorithm 1
Fig. 11
Fig. 12
Algorithm 2
Algorithm 3
Algorithm 4
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20
Fig. 21
Fig. 22
Fig. 23
Fig. 24
Fig. 25
Fig. 26
Fig. 27
Fig. 28
Fig. 29
Fig. 30

Similar content being viewed by others

Data Availability

No biological data or material is used.

Code availability

The institution is licensed for the software used.

References

  1. International Electrotechnical Commission IEC 61131-3 (2003) Programmable Controllers: Programming Languages, International standard, 2nd edn

  2. Korotkin S, Zaidner G, Cohen B, Ellenbogen A, Arad M, Cohen Y (2010) A petri net formal design methodology for Discrete-Event control of industrial automated systems. In: IEEE 26-th Convention of Electrical and Electronics Engineers in Israel, pp 431–435. https://doi.org/10.1109/EEEI.2010.5662187

  3. John Karl-Heinz, Tiegelkamp M (2010) IEC 61131-3: Programming Industrial automation systems. 2nd edn, Springer

  4. Murata P (1989) Nets: Properties, analysis, and applications. In: Proceedings of the IEEE. pp. 541–580, https://doi.org/10.1109/5.24143https://doi.org/10.1109/5.24143

  5. Luo J, Zhang Q, Chen X, Zhou MC (2018) Modeling and race detection of ladder diagrams via ordinary petri nets. IEEE Transactions on systems, man and cybernetics. https://doi.org/10.1109/TSMC.2016.2647219https://doi.org/10.1109/TSMC.2016.2647219

  6. Năvrăpescu V, Deaconu I-D, Chirilă A-I, Deaconu A-S (2013) Petri net versus ladder diagram for controlling a process automation. In: The 8th International Symposium on advanced topics in electrical engineering, May 23-25, Bucharest, Romania. https://doi.org/10.1109/ATEE.2013.6563402https://doi.org/10.1109/ATEE.2013.6563402

  7. Xuekum C, Lilian L, Pengfei Q (2012) Method for translating ladder diagram to ordinary petri nets. In: 51st IEEE Conference on Decision and Control, https://doi.org/10.1109/CDC.2012.6426901, pp. 6716-6721

  8. Zhang H, Jiang Y, Hung WN, Yang G, Gu M, Sun J (2012) New strategies for reliability analysis of programmable logic controllers. Math Comput Model 55(7/8):1916–1931. https://doi.org/10.1016/j.mcm.2011.11.050https://doi.org/10.1016/j.mcm.2011.11.050

    Article  Google Scholar 

  9. da Silva Oliveira EA, da Silva LD, Gorgonio K, Perkusich A, Martins AF (2011) Obtaining formal models from Ladder diagrams. In: Industrial Informatics (INDIN) 9th IEEE International Conference on, 26-29 July 2011, pp. 796–801. https://doi.org/10.1109/INDIN.2011.6034994https://doi.org/10.1109/INDIN.2011.6034994

  10. Lee J, Lee JS (2009) Conversion of ladder diagram to petri net using module synthesis technique. Int J Model Simulation 29(1):79–88. https://doi.org/10.1080/02286203.2009.11442513

    Article  Google Scholar 

  11. Grobelna I, Grobelny M, Adamski M (2010) Petri nets and activity diagrams in logic controller specification - transformation and verification. In: 17 th International Conference Mixed Design of Integrated Circuits and Systems, Wroclaw, Poland, pp 607–612

  12. Quezada JC, Medina J, Flores E, Seck Tuoh JC, Solís AE (2017) Simulation and validation of diagram ladder – Petri net. Int J Adv Manuf Technol 88:1393–1405. https://doi.org/10.1007/s00170-016-8638-9https://doi.org/10.1007/s00170-016-8638-9

    Article  Google Scholar 

  13. Quezada JC, Medina J, Flores E, Seck Tuoh JC, Hernández N (2014) Formal design methodology for transforming ladder diagram to Petri nets. Int J Adv Manuf Technol 73:821–836. https://doi.org/10.1007/s00170-014-5715-9

    Article  Google Scholar 

  14. Lee J-S, Hsu P-L (2004) An improved evaluation of ladder logic diagrams and Petri nets for the sequence controller design in manufacturing systems. Int J Manuf Technol 24:279–287. https://doi.org/10.1007/s00170-003-1722

    Article  Google Scholar 

  15. García-Blanco Y, Ripoll-Sierra H, Ripoll-Goenaga H, Roldán-Mckinley J, Yime-Rodríguez E (2019) Petri net in the automation of a pad printing machinefor plastics. Scientia Et Technica 24(núm. 1):35–45

    Google Scholar 

  16. Chirn J-L, McFarlane DC (2000) Petri nets based design of ladder logic diagrams, Control Cambridge, UK, September 2000

  17. EMERSON Logic Developer - PLC (2019) GFK-1918T nov

  18. Cohen Y, Wang M, Bidanda B (2010) Automatic translation of a process level Petri-net to a ladder-diagram. In: Sobh T, Elleithy K, Mahmood A, Karim M (eds) Advanced techniques in computing sciences and software engineering; Springer; 2010, pp. 25-31

  19. Cohen Y, Wang M, Bidanda B (2010) Transition network for automation modeling: a case study. In: Elleithy K, Sobh T, Iskander M, Kapila V, Karim M, Mahmood A (eds) Technological Developments in Networking, Education and Automation; Springer; 2010. pp. 187-192

  20. Cohen Y, Wang ME, Bidanda B (2009) Automatic translation of process level Petri-net to a ladder diagram. J Commun Comput(JCC) 6(11):58–64

    Google Scholar 

  21. Bolton W (2009) Programmable Logic Controllers, 5th edn, Elsevier Ltd., p. 222-223, ISBN: 978-1-85617-751-1

Download references

Author information

Authors and Affiliations

  1. High School of Tizayuca, Autonomous University of Hidalgo State, Km 2.5 highway Tizayuca-Pachuca, Tizayuca, 43800, Hidalgo, Mexico

    José Carlos Quezada, Ernesto Flores, Esperanza Baños & Víctor Quezada

Authors
  1. José Carlos Quezada
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ernesto Flores
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Esperanza Baños
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Víctor Quezada
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to José Carlos Quezada.

Ethics declarations

All authors fulfill the Ethics Responsibilities and ensure to respect third parties rights such as copyright and/or moral rights. The authors declare no competing interests.

Additional information

Author contribution

All authors contributed to the study conception and design. Material preparation, data collection and analysis were performed by José Carlos Quezada and Ernesto Flores. All authors read and approved the final manuscript.

Publisher’s note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Springer Nature or its licensor (e.g., a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Quezada, J.C., Flores, E., Baños, E. et al. Petri net models of discrete logics used in control algorithms developed in ladder diagram language. Int J Adv Manuf Technol 124, 2597–2612 (2023). https://doi.org/10.1007/s00170-022-10515-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00170-022-10515-6

Keywords

Search

Navigation