Анализ разработки визуальной среды, позволяющей легко создавать модели в виде графического представления сети Петри. Описания моделирования конечных автоматов, параллельных вычислений и синхронизации. Исследование влияния сна на процесс усвоения знаний.
