- Теория сетей Петри и моделирование систем. Часть 1- Дж. Питерсон

Просмотров: 3131

• Аннотация
• Благодарности
• ГЛАВА 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.