Revista ELECTRO
Vol. 42 – Año 2020
Artículo
TÍTULO
Formalismo Matemático en la Operación del Movimiento de Trenes
AUTORES
Estrada Velarde L. H., González Castolo J.C., Ramos Cabral S.
RESUMEN
En este artículo se presenta un trabajo de investigación donde se propone un modelo formal de la operación del movimiento de trenes, basado en redes de Petri. El formalismo favorece la solución del problema de planificación de colisiones de trenes en línea, a fin de apoyar al personal que se desempeña como controlador de tráfico, para la realización de la operación de movimiento y control, tras haber ocurrido demoras o bloqueos provocados por accidentes, mantenimiento de vía o bien cambio en las prioridades de los servicios.
Palabras Clave: Redes de Petri, Modelado, Control de Movimiento de Trenes, Resolución de colisiones.
ABSTRACT
This article presents a research work that proposes a formal model of the trains motion operation, based on Petri nets. The formalism favors the solution of the planning of train encounters in line, in order to support the personnel that work as a traffic controller, to carry out the movement and control operation, after having had delays or blockages caused by accidents, track maintenance or change in-service recommendations.
Keywords: Petri nets, Modeling, Trains motion control, Solving of collisions
REFERENCIAS
[1] S. Tschirner, A. W. Andersson y B. Sandblad, «Improved Railway Service by Shared Traffic Information,» IEEE International Conference on Intelligent Rail Transportation Proceedings, pp. 117-122, 2013.
[2] M. Salido y F. Barber, «Mathematical Solutions for Solving Periodic Railway Transportation,» Mathematical Problems in Engineering, vol. 2009, nº 728916, p. 19 pages, 2009.
[3] E. Ko ̈nig y C. Scho ̈n, «Railway Delay Management with Passenger Rerouting Considering Train Capacity Constraints, European Journal of Operational Research,» European Journal of Operational Research, vol. 1 2, 2020.
[4] A. Higgins, L. Ferreira y E. Kozan, «Optimisation of train schedules to achieve minimum transit times and maximum reliability,» 13th International Symposium on Transportation and Traffic Theory, vol. 122, pp. 589-614., 1996.
[5] M. Yag hini, M. M. Khoshraftar y M. Seyedabadi, «Railway passenger train delay prediction via neural network model,» Journal of Advanced Transportation., vol. 47, pp. 355-368, 2013.
[6] T. Mancini y A. Oddi, «Experimental evaluation of algorithms for solving p roblems with combinatorial explosion.,» Ai Communications, vol. 28, pp. 159-160., 2015.
[7] J. Vlášek, L. Elis, J. Žahour, P. Štětka y K. Kosturik, «Software for rail traffic simulator,» de 21st Telecommunications forum TELFOR 2013, Belgrade, 2013.
[8] F. Glover, J. Kelly y M. Laguna, «New Advances for weeding optimization and Simulation,» WSC'99. 1999 Winter Simulation Conference Proceedings. 'Simulation-A Bridge to the Future', vol. 1, nº (Cat. No.99CH37038), pp. 255-260, 1999.
[9] G. Yasu da, «Model Based Design and Implementation of Hierarchical and Distributed Control for Robotic Flexible Manufacturing System Cells Using Petri Nets,» Advanced Materials Research V, Vols. %1 de %2211-212, pp. 856-860, 2011.
[10] Q. Hu, Y. Du y S. Yu, «Se rvice net algebra based on logic Petri nets,» Information Sciences, vol. 268, p. 271 –289, 2014.
[11] A. Meyer, M. Dellnitz y M. Hessel-von Molo, «Symmetries in timed continuous Petri nets,» Nonlinear Analysis: Hybrid Systems, vol. 5, pp. 125-135., 2011.
[12] A. Aybar y A. İftar, «Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching,» Nonlinear Analysis: Hybrid Systems, vol. 6, pp. 712-729, 2012.
[13] J. Tkacz, «Symbolic Coloring of Petri Nets,» de Design of Reconfigurable Logic Controllers. Studies in Systems, Decision and Control., vol. 45, Springer Cham, 2016, pp. 67-76.
[14] J. Tkacz y M. Adamski, «Modular Synthesis of Petri Nets,» de Design of Reconfigurable Logic Controllers. Studies in Systems, Decision and Control, vol. 45, Springer Cham, 2016, pp. 77-91.
[15] R. Kanazy, S. Chafik, E. Niel y M. Zouagui, «Failure prognosis in discrete events systems based on extended Time petri nets: example of an electric car battery cell,,» 4th Conference on Control and Fault Tolerant Systems, pp. 276-281, 2019.
[16] M. Silva, Las Redes de Petri en la Automática y la informática, Madrid: Editorial AC, 1985.
CITAR COMO:
Estrada Velarde L. H., González Castolo J.C., Ramos Cabral S., "Formalismo Matemático en la Operación del Movimiento de Trenes", Revista ELECTRO, Vol. 42, 2020, pp. 171-177.
VERSIÓN PDF