Nesterenko, B.B. and Novatorskyi, M.O. 2007. FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS. Science and Transport Progress . 17 (Aug. 2007), 156–161. DOI:https://doi.org/10.15802/stp2007/17608.