Бакалавриат
2024/2025
Научно-исследовательский семинар "Автоматы и модели процессов"
Статус:
Курс по выбору (Программная инженерия)
Направление:
09.03.04. Программная инженерия
Кто читает:
Департамент программной инженерии
Где читается:
Факультет компьютерных наук
Когда читается:
1-й курс, 1-3 модуль
Формат изучения:
без онлайн-курса
Охват аудитории:
для своего кампуса
Преподаватели:
Ломазова Ирина Александровна
Язык:
русский
Кредиты:
3
Программа дисциплины
Аннотация
Научно-исследовательский семинар "Автоматы и модели процессов" преподается студентам 1 курса образовательной программы «Программная инженерия». Курс направлен на формирование у студентов теоретических знаний о различных формализмах для моделирования параллельных и распределенных процессов в программных системах, а также практических навыков моделирования процессов и анализа их поведенческих свойств. Эти знания и навыки могут применяться для обеспечения корректности и надежности разрабатываемого программного обеспечения. Участие в семинаре поможет студентам получить опыт самостоятельной работы с учебной и научной литературой, ведения самостоятельного исследования, проектной работы, представления результатов своей работы на научном семинаре, участия в обсуждениях и дискуссиях.
Цель освоения дисциплины
- формирование у студентов теоретических знаний в области формальных моделей процессов и практических навыков анализа поведенческих свойств систем
Планируемые результаты обучения
- Уметь проводить аналогии между формальными моделями
- Знать основные подходы, использующиеся при моделировании и анализе процессов, назначение тех или иных методов анализа систем и область их применения
- Иметь навыки анализа моделей бизнес-процессов, представленных на языках высокого уровня, с точки зрения формальных моделей, лежащих в их основе, ведения самостоятельных исследований, выступлений с научными докладами
Содержание учебной дисциплины
- Конечные автоматы и языки
- Регулярные языки
- Контекстно-свободные языки
- Разрешимость и вычислимость
- Сети Петри
- Анализ поведенческих свойств сетей Петри
- Анализ структурных свойств сетей Петри
- Сети потоков работ
- Сети Петри высокого уровня
- Защита и обсуждение проектов
Список литературы
Рекомендуемая основная литература
- Meduna, A. (2014). Formal Languages and Computation : Models and Their Applications. [Place of publication not identified]: Auerbach Publications. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=1728714
- Wolfgang Reisig. (2013). Understanding Petri Nets : Modeling Techniques, Analysis Methods, Case Studies (Vol. 2013). Springer.
- Введение в теорию автоматов, языков и вычислений, Хопкрофт, Д. Э., 2016
Рекомендуемая дополнительная литература
- Coloured petri nets. Vol. 1: ., Jensen, K., 1997
- Coloured petri nets. Vol. 2: ., Jensen, K., 1997
- Coloured petri nets. Vol. 3: ., Jensen, K., 1997
- Process mining: data science in action. (2016). Springer. https://doi.org/10.1007/978-3-662-49851-4
- Сети Петри, Котов, В. Е., 1984