Model reservation resource of computer complexes system
Dmitry Kornev1, Evgeny Nikulchev2
COMPUTER MODELLING & NEW TECHNOLOGIES 2017 21(1) 28-30
1Scientific Research Institute for Automation and Communication, Nizhny Tagansky str., 27, p. 1 Moscow, Russia 2Moscow Technology Institute, Leninsky Prospect, 38a, Moscow, Russia
The article presents a method for calculating redundancy systems for platform management and organization of the movement of high-speed trains. The model is developed on the mathematical formalism of Petri nets. Calculated estimated time system failover. Proved the feasibility of using a majority redundancy.