array(3) { [0]=> int(1709) [1]=> string(455) "Белоглазов Д.М., Машуков М.Ю., Непомнящий В.А. Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри//Моделирование и анализ информационных систем. 2011. 18. 4. C. 144-156" [2]=> int(5) }