Skip to main content
SpringerLink
Log in

Obtaining Generic Petri Net Models of Railway Signaling Equipment

  • Conference paper
  • First Online:
Intelligent Systems Applications in Software Engineering (CoMeSySo 2019 2019)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1046))

Included in the following conference series:

  • 539 Accesses

Abstract

This paper describes a model for railway signals in the context of interlocking. Since the design and construction of the software models shall be obtained in a formal way, the models were created using Petri nets to allow automatic verification and validation. A generic model for railway signals was designed and further utilized for the German railway signaling systems (The Ks signaling system). Simplified Petri net models for points, track segments and signals are given as a frame. The obtained models are also applied to a real station layout.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Giua, A., Seatzu, C.: Modeling and supervisory control of railway networks using Petri nets. IEEE Trans. Autom. Sci. Eng. 5(3), 431–445 (2008)

    Article  Google Scholar 

  2. Ren, X., Zhou, M.C.: Tactical scheduling of rail operations: a Petri net approach. In: International Conference on Systems, Man and Cybernetics, Vancouver BC, Canada, pp. 3087–3092 (1995)

    Google Scholar 

  3. Hei, X., Takahashi, S., Nakamura, H.: Toward developing a decentralized railway signalling system using Petri nets. In: Conference on Robotics, Automation and Mechatronics, Chengdu, China, pp. 851–855 (2008)

    Google Scholar 

  4. Hörste, M.M., Schneider, E.: Modeling and simulation of train control systems using Petri nets. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) World Congress on Formal Methods in the Development of Computing Systems. LNCS, vol. 1709, pp. 1867–1883. Springer, Heidelberg (1999)

    Google Scholar 

  5. Hei, X., Takahashi, S., Nakamura, H.: Distributed interlocking system and its safety verifications. In: The 6th World Congress on Intelligent Control and Automation, Dalian, China, pp. 8612–8615 (2006)

    Google Scholar 

  6. Anunchai, S.V.: Verification of interlocking tables using coloured Petri nets. In: 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, pp. 139–158 (2009)

    Google Scholar 

  7. Yıldırım, U., Durmuş, M.S., Söylemez, M.T.: Application of functional safety on railways part II: software development. In: The 8th Asian Control Conference, Kaohsiung, Taiwan, pp. 1096–1101 (2011)

    Google Scholar 

  8. Yıldırım, U., Durmuş, M.S., Söylemez, MT.: Fail-safe signalization and interlocking design for a railway yard: an automation Petri net approach. In: The 7th International Symposium on Intelligent and Manufacturing Systems, Sarajevo, Bosnia Herzegovina, pp. 461–470 (2010)

    Google Scholar 

  9. Durmuş, M.S., Yıldırım, U., Söylemez, M.T.: Automatic generation of Petri net supervisors for railway interlocking design. In: The 2nd Australian Control Conference, Sydney, Australia, pp. 180–185 (2012)

    Google Scholar 

  10. Durmuş, M.S., Üstoglu, İ.: An application of discrete event systems based fault diagnosis to German railway signaling system. Int. J. Syst. Appl. Eng. Dev. 11, 70–77 (2017)

    Google Scholar 

  11. Jacobsen, L., Jacobsen, M., Møller, M.H.: Modeling and verification of extended timed-arc Petri nets. MSc. thesis. Aalborg University, Denmark (2010)

    Google Scholar 

  12. Byg, J., Jorgensen, K.Y., Srba, J.: An efficient translation of timed-arc Petri nets to networks of timed automata. In: Breitman, K., Cavalcanti, A. (eds.) Formal Methods and Software Engineering. LNCS, vol. 5885, pp. 698–716. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  13. Weber, M., Kindler, E.: The Petri net mark up language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 124–144. Springer, Heidelberg (2003)

    Google Scholar 

  14. World Wide Web Consortium (W3C): Extensible Markup Language (XML), 22 February 2019. http://www.w3.org/XML/

  15. ISO/IEC 15909-1: Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation (2004)

    Google Scholar 

  16. DB Netz AG, Richtlinie 301 – Signalbuch, Aktualisierung 9, 22 February 2019. https://fahrweg.dbnetze.com/resource/blob/1355720/e8f119eef14f0b915191c78dbbd11c51/rw_301_aktualisierung_10-data.pdf

Download references

Author information

Authors and Affiliations

  1. Control and Automation Engineering Department, Yildiz Technical University, Istanbul, Turkey

    İlker Üstoğlu

  2. Sheffield Hallam University, Sheffield, UK

    Daniel Töpel

  3. Sadenco (Safe, Dependable Engineering and Consultancy), Antalya, Turkey

    Mustafa Seckin Durmus

  4. Department of Informatics, Siberian Federal University, Krasnoyarsk, Russia

    Roman Yurievich Tsarev

  5. V.A. Trapeznikov Institute of Control Sciences of Russian Academy of Sciences, Moscow, Russia

    Kirill Yurievich Zhigalov

  6. Moscow Technological Institute, Moscow, Russia

    Kirill Yurievich Zhigalov

Authors
  1. İlker Üstoğlu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniel Töpel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mustafa Seckin Durmus
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Roman Yurievich Tsarev
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Kirill Yurievich Zhigalov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Roman Yurievich Tsarev .

Editor information

Editors and Affiliations

  1. Faculty of Applied Informatics, Tomas Bata University in Zlin, Zlin, Czech Republic

    Radek Silhavy

  2. Faculty of Applied Informatics, Tomas Bata University in Zlin, Zlin, Czech Republic

    Petr Silhavy

  3. Faculty of Applied Informatics, Tomas Bata University in Zlin, Zlin, Czech Republic

    Zdenka Prokopova

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Üstoğlu, İ., Töpel, D., Durmus, M.S., Tsarev, R.Y., Zhigalov, K.Y. (2019). Obtaining Generic Petri Net Models of Railway Signaling Equipment. In: Silhavy, R., Silhavy, P., Prokopova, Z. (eds) Intelligent Systems Applications in Software Engineering. CoMeSySo 2019 2019. Advances in Intelligent Systems and Computing, vol 1046. Springer, Cham. https://doi.org/10.1007/978-3-030-30329-7_17

Download citation

Publish with us

Policies and ethics

Search

Navigation