Interlocking system design for ERTMS/ETCS: An approach with batches Petri nets

Abstract In order to optimize and to standardize the train traffic across Europe, railway people developed new standards known as European Rail Traffic Management System (ERTMS) that has three levels from conventional rails (level 1) to high speed rails (level 3). The use of this standard is not limited only in Europe and became a widely used standard in Asia and America. In this study, movement of two consecutive trains as moving-blocks on a single railway line is modeled using a hybrid modeling technique known as Batches Petri Nets.

[1]  Isabel Demongodin.  Extended structures of batches Petri nets , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[2]  Masaharu Mizumoto,et al.  PID type fuzzy controller and parameters adaptive method , 1996, Fuzzy Sets Syst..

[3]  Mehmet Turan Söylemez,et al.  Fail-safe signalization design for a railway yard: A level crossing case , 2010, WODES.

[4]  Isabel Demongodin.  Generalised Batches Petri Net: Hybrid Model For High Speed Systems With Variable Delays , 2001, Discret. Event Dyn. Syst..

[5]  Mehmet Turan Soylemez,et al.  Application of functional safety on railways part I: Modelling & design , 2011, 2011 8th Asian Control Conference (ASCC).

[6]  Isabel Demongodin,et al.  Batches Petri nets , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[7]  R.D. Pascoe,et al.  What is communication-based train control? , 2009, IEEE Vehicular Technology Magazine.

[8]  Isabel Demongodin,et al.  Fundamental concepts of analysis in batches Petri nets , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[9]  Mehmet Turan Soylemez,et al.  Application of functional safety on railways part II: Software development , 2011, 2011 8th Asian Control Conference (ASCC).

[10]  Jyh-Cherng Jong,et al.  ALGORITHMS FOR GENERATING TRAIN SPEED PROFILES , 2005 .

[11]  F. Prunet,et al.  Controlled batches Petri nets , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.