TY JOUR TI Formalization of transition from IDEF0-diagram to the GPSS-model of life cycle stages of railway automation and remote control systems KW IDEF0-diagram KW life cycle KW railway automation and remote control systems KW mathematical queuing schemes KW GPSS simulation model KW indirect addressing KW simulation model KW queuing systems JO Transport automation research AU Belishkina, T.A. AU Konstantinova, T.Y. AU Lykov, A.A. AU Markov, D.S. AU Mikado, E.N. AU Sokolov, V.B. PY 2024 IS 10 PB FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"