Discrete-event models of a railway network

This paper constructs discrete-event models for the basic elements of railway networks, i.e., a station-to-station block with a passing track, a segment (as a part of a station-tostation block), a segment section (a block section), a railway point, as well as train operation models. All models represent Petri nets with bounding arcs. The group control of the models under the parallel-conveyor movements of trains is implemented by special control elements (the so-called supervisors) that ensure railway traffic safety requirements.