Оглавление
Введение
Глава I. Сети Петри и параллельные графсхемы алгоритмов
1.1. Сети Петри.
1.1.1. Определение основных понятий . ХЗ
1.1.2. Классы сетей Петри .
1.1.3. Расширения сетей Петри .
1.2. Параллельные г рафсхе.мы алгоритмов.
1.2.1. Определение основных понятий .
1.2.2. Корректность параллельных графсхем алгоритмов . . зх
1.2.3. Структурированные ПГСА
1.2.4. Методы проверки ПГСА на корректность
1.3. Переход, от ПГСА к сети Петри
1.3.1. Правила перехода
1.3.2. Анализ правил перехода
1.4. Постановка задачи проверки ПГСА на корректность . .
Выводы к главе I.
Глава П. Редукция сетей Петри
2.1. Постановка задачи редукции
2.1.1. Определение условий
2.1.2. Отличия от ранее введенных преобразований редукции 2.2. Определение преобразований редукции .
2.2.1.Какие вершины моино удалять
2.2.2.Удаление избыточного перехода .
2.2.3. Удаление избыточной позиции
2.2.4. Преобразование подстановки позиции .
2.2.5. Замена фрагмента .
2.3. Анализ преобразований редукции
2.3.1 ЦЗ эквивалентность преобразований .
2.3.2. Конечность преобразований
2.3.3. Оценки слогаости .
2.3.4. Независимость
2.3.5. Локальность
2.3.6. Однозначность
2.3.7. Нерешенные вопросы редуцирования .
2.4. Классы редуцируемости сетей Петри Ю
2.4.1. Диаграмма вложения классов редуцируемости
2.4.2. Доказательство вложений .
2.5. Алгоритм и программа редукции .
Выводы к главе IIЮ
Глава Ш. Анализ сетей Петри.
у 3.1. Декомпозиция ис сетей
3.1.1. Определение понятий 1и
3.1.2. И условия.
3.1.3. Объединенный алгоритм проверки и ИЗ условий .
3.1.4. Сложность алгоритма и пути ее уменьшения .
3.2. Построение дерева достижимых маркирований и использование его для анализа сети
3.3. Требования, к алгоритмам анализа сетей Петри на
правильность
Выводы к главе Ш
Глава 1У. Применение методики к особенности программной реализации.
4.1. Применение разработанных методов к анализу некоторых систем взаимодействующих процессов
4.1.1. Проверка асинхронных интерпретаций параллельных
микропрограмм на детерминированность
4.1.2. Проверка некоторыхсвойств протоколов
4.1.3. Имитация процесса формирования и функционированияэкономических систем
4.2. Представление данных и характерные особенности
программы анализа ПГСА на корректность
Выводы к главе 1У.
Заключение
Литература
- Київ+380960830922