Моделирование динамических конструкций языка ESTELLE посредством раскрашенных сетей ПетриОкунишникова, Е. В.200070 с.