Отображение Estelle-спецификаций в раскрашенные сети Петри и его обоснованиеОкунишникова, Е. В.200159 с.