Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Station Naming Strategies for a Metro System Expansion: A Case Study of Bangkok Metro Network Read chapter Read first chapter

2021 | OriginalPaper | Chapter

A Train Rescheduling System Using Timed Coloured Petri Nets

Author : Somsak Vanit-Anunchai

Published in: Urban Rail Transit

Publisher: Springer Singapore

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

A train rescheduling system using Timed Coloured Petri Nets is proposed. Traffic in a single track area named, “Chumphorn” is modelled and analysed. This area is selected because of its high traffic density. Even with a small traffic disruption in this area, the consecutive delays can be severely propagated. Although Timed Coloured Petri Net (TCPN) formalism is a natural choice to model a train scheduling problem, we rarely see TCPN used in real world practice. We envisage that there are two problems. First, interacting with the TCPN model requires programming skills. Second, analysis of the traffic in a large railway network often encounters state explosion. This paper suggests the solutions to these problems.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Short-Turning Management During Railway Network Disruptions
next chapter Train Movement Under the Virtual Coupling System
Literature
Clavel M, Durán F, Eker S, Lincoln P, Martí-Oliet N, Meseguer J, Talcott C (2003) The Maude 2.0 system. In: Proceedings of rewriting techniques and applications, June 2003. LNCS, vol 2706. Springer, Heidelberg, pp 76–87
Fokkink WJ, Hollingshead PR (1998) Verification of interlockings: from control tables to ladder logic diagrams. In: Proceedings of 3rd workshop on formal methods for industrial critical systems (FMICS’98), Amsterdam, May 1998. Stichting Mathematisch Centrum, pp 171–185
Hagalisletto AM, Bjørk J, Yu IC, Enger P (2007) Constructing and refining large-scale railway models represented by petri nets. IEEE Trans Syst Man Cybern Part C 37(4):444–460
Janczura CW (1998) Modelling and analysis of railway network control logic using coloured petri nets. PhD thesis, School of Mathematics and Institute for Telecommunications Research, University of South Australia, Adelaide
Jensen K, Kristensen LM (2009) Coloured petri nets: modelling and validation of concurrent systems. Springer, HeidelbergCrossRef
Jensen K, Kristensen LM, Wells L (2007) Coloured petri nets and CPN TOOLS for modelling and validation of concurrent systems. Int J Softw Tools Technol Transfer 9(3–4):213–254CrossRef
Jensen K, Kristensen LM, Mailund T (2012) The sweep-line state space exploration method. Theoret Comput Sci 429:169–179MathSciNetCrossRef
Van der Aalst WMP, Odijk MA (1995) Analysis of railway stations by means of interval timed coloured petri nets. Real-Time Syst 9(3):241–263CrossRef
Vanit-Anunchai S (2009) Verification of railway interlocking tables using coloured petri nets. In: Proceedings of the 10th workshop on practical use of coloured petri nets and CPN tools, Aarhus, 19–21 Oct 2009
Vanit-Anunchai S (2010) Modelling railway interlocking tables using coloured petri nets. In: Clarke D, Agha G (eds) COORDINATION 2010. Lecture notes in computer science (LNCS), vol 6116. Springer, Heidelberg, pp 137–151
Vanit-Anunchai S (2012) Verifying flank protection: reaching the unreachable. In: Proceedings of the 3rd international conference of information and communication technology for embedded systems, Bangkok, 22–24 Mar 2012
Vanit-Anunchai S (2016) Application of coloured petri nets in modelling and simulating a railway signalling system. In: Beek MH, Gnesi S, Knapp A (eds) FMICS-AVOCS 2016. Lecture notes in computer science (LNCS), vol 9933. Springer, Heidelberg, pp 214–230
Vanit-Anunchai S (2018) Modelling and simulating a Thai railway signalling system using coloured petri nets. Int J Softw Tools Technol Transfer 20(3):243–262CrossRef
Metadata
Title
A Train Rescheduling System Using Timed Coloured Petri Nets
Author
Somsak Vanit-Anunchai
Copyright Year
2021
Publisher
Springer Singapore
Book
Urban Rail Transit

Print ISBN: 978-981-15-5978-5

Electronic ISBN: 978-981-15-5979-2

Copyright Year: 2021

DOI
https://doi.org/10.1007/978-981-15-5979-2_14

Premium Partner

    Image Credits