- Теория сетей Петри и моделирование систем. Часть 1- Дж. Питерсон
Просмотров: 7154
- Аннотация
- Благодарности
- ГЛАВА 1
- ВВЕДЕНИЕ
- 1.1. Моделирование
- 1.2. Природа систем
- 1.3. Зарождение теории сетей Петри
- 1.4. Применение теории сетей Петри
- 1.5. Прикладная и чистая теории сетей Петри
- 1.6. Замечания к литературе
- 1.7. Темы для дальнейшего изучения
- ГЛАВА 2
- 2.1. Структура сети Петри
- 2.2. Графы сетей Петри
- 2.3
- 2.4. Правила выполнения сетей Петри
- 2.5. Пространство состояний сети Петри
- 2.6. Альтернативные формы определения сетей Петри
- 2.7. Замечания к литературе
- ГЛАВА 3
- 3.1. События и условия
- 3.2. Одновременность и конфликт
- 3.3. Аппаратное обеспечение ЭВМ
- 3.3.1. Конечные автоматы
- 3.3.2. ЭВМ с конвейерной обработкой
- 3.3.3. Кратные функциональные блоки
- 3.4. Программное обеспечение ЭВМ
- 3.4.1. Блок-схемы
- 3.4.2. Параллелизм
- 3.4.3. Синхронизация
- 3.4.4. Задача о взаимном исключении
- 3.4.5. Задача о производителе/потребителе
- 3.4.6. Задача об обедающих мудрецах
- 3.4.7. Задача о чтении/записи
- 3.5. Другие системы
- 3.6. Замечания к литературе
- 3.7. Темы для дальнейшего изучения
- ГЛАВА 4
- 4.1. Задачи анализа сетей Петри
- 4.1.1. Безопасность
- 4.1.2. Ограниченность
- 4.1.4. Активность
- 4.1.5. Достижимость и покрываемость
- 4.1.6. Последовательности запусков
- 4.1.7. Задачи эквивалентности и подмножества
- 4.2. Методы анализа
- 4.2.1. Дерево достижимости
- 4.2.1.1. Безопасность и ограниченность
- 4.2.1.2. Сохранение
- 4.2.1.3. Покрываемость
- 4.2.1.4. Ограниченность дерева достижимости
- 4.2.2. Матричные уравнения
- 4.3. Замечания к литературе
- 4.4. Темы для дальнейшего изучения
- ГЛАВА 5
- 5.1. Сводимость задач анализа
- 5.2. Задачи достижимости
- 5.3. Сети Петри с ограничениями
- 5.4. Активность и достижимость
- 5.5. Неразрешимые задачи
- 5.5.1. Задача включения графов полиномов
- 5.5.2. Слабое вычисление
- 5.5.3. Задача равенства
Похожие книги
- Chaotic behavior in general relativity – J.D. Barrow
- Encyclopedia of mathematics and its applications – Baker G.A.
- Geometry of yang-mills fields – Atiyah M.F.
- Notre dame mathematical lectures Number 2 – Dr. E. Artin
- Orthogonal polynomials and special functions – Askey R.