Розробка математичної моделі у вигляді мережі Петрі для формалізації роботи багатопотокових додатків і механізмів синхронізації. Аналіз ряду процесів і потоків в операційній системі. Застосування методів математичного аналізу для прискорення навчання.