Бисимуляция ресурсов в сетях Петри

Оглавление
Введение
1. Сети Петри и бисимуляция разметок
1.1. Множества, отношения, мультимножества
1.2. Системы помеченных переходов, бисимуляции
1.3. Сети Петри
2. Бисимуляция ресурсов в обыкновенных сетях Петри
2.1. Конечное представление отношений
2.1.1. Базисы отношении.
2.1.2. Конечность базиса Л Гзамыкания
2.1.3. Свойства основного базиса
2.2. Подобие ресурсов
2.2.1. Определение подобия
2.2.2. Свойства.
2.2.3. Неразрешимость.
2.3. Условное подобие ресурсов.
2.3.1. Определение условного подобия
2.3.2. Свойства.
2.3.3. Полулинойность множества пар подобных ресурсов
2.4. Бисимуляция ресурсов
2.4.1. Определение бисимуляции
2.4.2. Слабое свойства переноса
2.4.3. Проверка бисимулярности отношения .
2.4.4. Построение аппроксимации максимальной бисимуляции ресурсов.
2.5. Редукция сети на основе подобия ресурсов
3. Бисимуляция ресурсов в сетях с невидимыми переходами
3.1. Сети Петри с невидимыми переходами
3.2. Подобие и бисимуляция ресурсов в сетях с тпереходами .
3.3. Насыщенные сети Петри.
3.4. грбисимуляция ресурсов.
3.5. Алгоритм построения аппроксимации
4. Бисимуляция ресурсов в сетях Петри высокого уровня
4.1. Сети Петри высокого уровня
4.2. Раскрашенные сети Петри
4.3. Элементарные ресурсы.
4.4. Подобие и бисимуляция ресурсов в раскрашенных сетях . .
4.5. Алгоритм построения аппроксимации .
5. Бисимуляция ресурсов во вложенных сетях Петри
5.1. Вложенные сети Петри
5.2. Объектные ресурсы
5.3. Системные ресурсы
5.4. Системноавтономные ресурсы .
5.5. Рекурсивные вложенные сети Петри.
Заключение
Список литературы