Abstract:
The paper develops discrete-event models of railway network basic elements: track region with track for passing, track, track segment, track-section, turnout (router) and models of train movements. The elements models are presented as Petri Nets with inhibitor and enabling arcs. Group control for these models is implemented by special developed control components (supervisors) that meet traffic safety requirements.