Preliminary communication

https://doi.org/10.17559/TV-20190723085606

Simulating Train Dispatching Logic with High-Level Petri Nets

Dušan Jeremić* orcid.org/0000-0001-7110-8754 ; University of Belgrade, Faculty of Transport and Traffic Engineering, 11000 Belgrade, Vojvode Stepe 305, Serbia
Sanjin Milinković orcid.org/0000-0003-3450-1324 ; University of Belgrade, Faculty of Transport and Traffic Engineering, 11000 Belgrade, Vojvode Stepe 305, Serbia
Sandra Kasalica ; High Railway School of Vocational Studies, 11000 Belgrade, Zdravka Čelara 14, Serbia

Abstract

Railway simulation is commonly used as a tool for planning and analysis of railway traffic in operational, tactical and strategical level. During the simulation, a typical problem is a deadlock, i.e. a specific composition of trains on a simulated section positioned in such a way that they are blocking each other's paths. Deadlock avoidance is very important in the simulation of railways because deadlock can stop the simulation, and significantly affect the simulation results. Simulation of train movements on a single track line requires implantation of additional rules and principles of train spacing and movement as train paths are more often in conflict than on a double track line. A High-level Petri Nets simulation model that detects and manages train path conflicts on a single track railway line is presented. Module for train management is connected to other modules on a hierarchical High-level Petri net. The model was tested on a busy single track mainline between Hrpelje-Kozina and Koper in south-western Slovenia.

Keywords

deadlock prevention; high-level Petri nets; railway simulation; train dispatching logic

Hrčak ID:

255881

URI

https://hrcak.srce.hr/255881

Publication date:

17.4.2021.

Visits: 1.513 *