Modeling Moving-Block Railway Systems: A Generalized Batches Petri Net Approach

[1]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[2]  George Nikandros,et al.  Calculating Train Braking Distance , 2001, SCS.

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

[4]  Anders Moen Hagalisletto,et al.  Constructing and Refining Large-Scale Railway Models Represented by Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[5]  Isabel Demongodin,et al.  Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed , 2009, Petri Nets.

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

[7]  Günter Hommel,et al.  A train control system case study in model-based real time system design , 2003, Proceedings International Parallel and Distributed Processing Symposium.

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

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

[10]  Mehmet Turan Soylemez,et al.  The Application of Automation Theory to Railway Signalization Systems: The Case of Turkish National Railway Signalization Project , 2011 .

[11]  Wang Jian,et al.  Research and analysis of ETCS controlling curves model , 2010, 2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE).

[12]  Ali Khodadadi,et al.  Genetic algorithm and particle swarm optimization algorithm for speed error reduction in railway signaling systems , 2013 .

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

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

[15]  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).

[16]  Alessandro Giua,et al.  Modeling and Supervisory Control of Railway Networks Using Petri Nets , 2008, IEEE Transactions on Automation Science and Engineering.

[17]  Mamun Bin Ibne Reaz,et al.  A Review on the Applications of Petri Nets in Modeling, Analysis, and Control of Urban Traffic , 2013, IEEE Transactions on Intelligent Transportation Systems.

[18]  李克平,et al.  Energy-optimal control model for train movements , 2007 .

[19]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

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

[21]  P. D. Booth.  Intermittent and continuous automatic train protection , 2010 .

[22]  Mehmet Turan Söylemez,et al.  Interlocking system design for ERTMS/ETCS: An approach with batches Petri nets , 2012, WODES.