Research Seminar "Automata and Process Models"

2025/2026

Academic Year

RUS

Instruction in Russian

3

ECTS credits

Delivered at:

School of Software Engineering

Course type:

Elective course

When:

1 year, 1-3 module

Instructor

Lomazova, Irina A.

Программа дисциплины

Аннотация

Научно-исследовательский семинар "Автоматы и модели процессов" преподается студентам 1 курса образовательной программы «Программная инженерия». Курс направлен на формирование у студентов теоретических знаний о различных формализмах для моделирования параллельных и распределенных процессов в программных системах, а также практических навыков моделирования процессов и анализа их поведенческих свойств. Эти знания и навыки могут применяться для обеспечения корректности и надежности разрабатываемого программного обеспечения. Участие в семинаре поможет студентам получить опыт самостоятельной работы с учебной и научной литературой, ведения самостоятельного исследования, проектной работы, представления результатов своей работы на научном семинаре, участия в обсуждениях и дискуссиях.

Цель освоения дисциплины

• формирование у студентов теоретических знаний в области формальных моделей процессов и практических навыков анализа поведенческих свойств систем

Планируемые результаты обучения

• Уметь проводить аналогии между формальными моделями
• Знать основные подходы, использующиеся при моделировании и анализе процессов, назначение тех или иных методов анализа систем и область их применения
• Иметь навыки анализа моделей бизнес-процессов, представленных на языках высокого уровня, с точки зрения формальных моделей, лежащих в их основе, ведения самостоятельных исследований, выступлений с научными докладами

Содержание учебной дисциплины

• Конечные автоматы и языки
• Регулярные языки
• Контекстно-свободные языки
• Разрешимость и вычислимость
• Сети Петри
• Анализ поведенческих свойств сетей Петри
• Анализ структурных свойств сетей Петри
• Сети потоков работ
• Сети Петри высокого уровня
• Защита и обсуждение проектов

Элементы контроля

• Защита проекта
• Посещаемость и активность

Промежуточная аттестация

• 2025/2026 3rd module
  0.5 * Защита проекта + 0.5 * Посещаемость и активность

Список литературы

Рекомендуемая основная литература

• 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

Презентации

• Презентация НИС
• Презентация НИС

Авторы

• Буцкая Евгения Александровна
• Ломазова Ирина Александровна
• Нестеров Роман Александрович