Математические модели последовательных вычислений — различия между версиями
PodymovVV (обсуждение | вклад) |
PodymovVV (обсуждение | вклад) м |
||
| (не показаны 4 промежуточных версий 2 участников) | |||
| Строка 1: | Строка 1: | ||
| + | [[Категория:Лекционные курсы кафедры МК (архив)]] | ||
| + | |||
Обязательный курс для студентов групп 618/1 и 618/2. Курс читает [[Подымов Владислав Васильевич|В. В. Подымов]]. | Обязательный курс для студентов групп 618/1 и 618/2. Курс читает [[Подымов Владислав Васильевич|В. В. Подымов]]. | ||
| Строка 69: | Строка 71: | ||
[[Media: Lecture_PM_9.pdf| Лекция 9]]. | [[Media: Lecture_PM_9.pdf| Лекция 9]]. | ||
| − | + | = Программа курса = | |
| − | + | == Сети Петри == | |
<ol> | <ol> | ||
<li> Сети позиций и переходов. Мультимножества и операции над ними. Разметки. Сети Петри. | <li> Сети позиций и переходов. Мультимножества и операции над ними. Разметки. Сети Петри. | ||
| Строка 89: | Строка 91: | ||
</ol> | </ol> | ||
| − | + | == Схемы программ == | |
<ol start="15"> | <ol start="15"> | ||
<li> Проблема эквивалентности программ и трудности ее решения. Моделирование программ схемами программ. | <li> Проблема эквивалентности программ и трудности ее решения. Моделирование программ схемами программ. | ||
| Строка 101: | Строка 103: | ||
</ol> | </ol> | ||
| − | + | == Алгебра процессов == | |
<ol start="23"> | <ol start="23"> | ||
<li> Базовая алгебра процессов. | <li> Базовая алгебра процессов. | ||
| Строка 112: | Строка 114: | ||
</ol> | </ol> | ||
| − | + | = Литература = | |
<ol> | <ol> | ||
Текущая версия на 23:08, 7 октября 2024
Обязательный курс для студентов групп 618/1 и 618/2. Курс читает В. В. Подымов.
Актуальность информации: весенний семестр 2022/2023 учебного года.
Содержание
Слайды лекций
Блок 1. О чём этот курс. Литература.
Блок 2. Сети Петри: происхождение, основные понятия.
Блок 3. Сети Петри: примеры применения и свойства поведения.
Блок 4. Проблемы ограниченности и безопасности сетей Петри. Деревья покрытия разметок.
Блок 5. Задачи и проблемы. Алгоритмы. Разрешимость. M-сводимость.
Блок 6. Проблемы достижимости и живости для сетей Петри.
Блок 7. Диофантовы уравнения.
Блок 8. Моделирование многочленов сетями Петри.
Блок 9. Проблемы R-включения и R-эквивалентности для сетей Петри.
Блок 10. Языки сетей Петри.
Блок 11. Другие виды сетей Петри.
Блок 12. Проблема эквивалентности программ. Схемы программ.
Блок 13. Схемы Ляпунова-Янова.
Блок 14. Стандартные схемы программ.
Блок 15. Подстановки. Системы переходов стандартных схем программ.
Блок 16. Проблемы функциональной эквивалентности, пустоты и свободы для стандартных схем программ.
Блок 17. Двухголовочные автоматы.
Блок 18. Эрбрановские интерпретации для стандартных схем программ.
Блок 19. Неразрешимость основных проблем для стандартных схем программ
Блок 20. Алгебра процессов. Базовая алгебра процессов (BPA).
Блок 21. Алгебра процессов с параллелизмом (PAP).
Блок 22. Алгебра взаимодействующих процессов (ACP).
Блок 23. Бисимуляция процессов.
Блок 24. Консервативные расширения систем процессов.
Блок 25. Рекурсия в системах процессов.
Слайды будут появляться по мере проведения занятий
Прошлогодние слайды
Лекция 1. Лекция 2. Лекция 3. Лекция 4. Лекция 5. Лекция 6. Лекция 7. Лекция 8. Лекция 9.
Программа курса
Сети Петри
- Сети позиций и переходов. Мультимножества и операции над ними. Разметки. Сети Петри.
- Условия срабатывания переходов. Отношение срабатывания переходов. Вычисления обыкновенных сетей Петри. Достижимые и тупиковые разметки. Граф достижимых разметок обыкновенной сети Петри.
- Сравнение разметок. Теорема о свойстве монотонности вычислений обыкновенных сетей Петри.
- Свойства ограниченности, безопасности и консервативности сетей Петри.
- Свойства живости и устойчивости сетей Петри.
- Проблемы достижимости и R-эквивалентности для сетей Петри.
- Моделирование многочленов обыкновенными сетями Петри. Неразрешимость проблемы R-эквивалентности для обыкновенных сетей Петри.
- Языки, порождаемые сетями Петри. Примеры языков, порождаемых сетями Петри. Сравнение класса языков, порождаемых обыкновенными сетями Петри, и классов языков иерархии Хомского.
- Ординарные сети Петри. Моделирование обыкновенных сетей Петри ординарными сетями.
- Автоматные сети Петри. Моделирование конечных автоматов автоматными сетями Петри.
- Синхронизационные сети Петри. Условия живости и консервативности для синхронизационных сетей Петри.
- Сети потоков работ.
- Ингибиторные сети Петри. Моделирование счетчиковых машин Минского ингибиторными сетями Петри.
- Раскрашенные сети Петри.
Схемы программ
- Проблема эквивалентности программ и трудности ее решения. Моделирование программ схемами программ.
- Стандартные схемы программ: синтаксис и семантика. Вычисления стандартных схем программ.
- Задачи анализа поведения стандартных схем программ - проблемы пустоты, эквивалентности, свободы схем программ.
- Представление стандартных схем программ при помощи систем переходов и алгебры подстановок.
- Эрбрановские интерпретации для стандартных схем программ. Эквивалентность стандартных схем программ на эрбрановских интерпретациях.
- Неразрешимость проблем анализа поведения стандартных схем программ.
- Схемы программ Ляпунова-Янова.
- Взаимосвязь схем программ Ляпунова-Янова и конечных автоматов. Разрешимость проблемы эквивалентности для схем Ляпунова-Янова.
Алгебра процессов
- Базовая алгебра процессов.
- Алгебра процессов с параллелизмом.
- Алгебра взаимодействующих процессов.
- Процессные графы.
- Бисимуляция процессов.
- Консервативное расширение алгебры процессов.
- Рекурсия в алгебре процессов.
Литература
- Котов В.Е. Сети Петри - М.: Мир, 1984.
- Питерсон Дж. Теория сетей Петри и моделирование систем. - М.: Мир, 1984.
- Ломазова И.А. Вложенные сети Петри: моделирование м анализ распределенных систем с объектной структурой - М.: Научный мир, 2004.
- Reisig W. Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. - Springer, 2013.
- Котов В.Е., Сабельфельд В.К. Теория схем программ - М.: Мир, 1983.
- Fokkink W. Introduction to process algebra. Springer Berlin, Heidelberg, 2000
