Бисимуляция систем переходов с реальным временемдипломная работа (Бакалавр)