Разработка универсального практического представления систем переходов для проверки моделейдипломная работа (Бакалавр)