Введение
1. Сети Петри и бисимуляция разметок 13
1.1. Множества, отношения, мультимножества 13
1.2. Системы помеченных переходов, бисимуляции 16
1.3. Сети Петри 24
2. Бисимуляция ресурсов в обыкновенных сетях Петри 30
2.1. Конечное представление отношений 30
2.1.1. Базисы отношений 30
2.1.2. Конечность базиса ЛТ-замыкания 36
2.1.3. Свойства основного базиса 40
2.2. Подобие ресурсов 45
2.2.1. Определение подобия 46
2.2.2. Свойства 49
2.2.3. Неразрешимость 52
2.3. Условное подобие ресурсов 55
2.3.1. Определение условного подобия 55
2.3.2. Свойства 56
2.3.3. Полулинейность множества пар подобных ресурсов 57
2.4. Бисимуляция ресурсов 63
2.4.1. Определение бисимуляции 63
2.4.2. Слабое свойства переноса 67
2.4.3. Проверка бисимулярности отношения 70
2.4.4. Построение аппроксимации максимальной бисимуляции ресурсов 72
2.5. Редукция сети на основе подобия ресурсов 76
3. Бисимуляция ресурсов в сетях с невидимыми переходами 84
3.1. Сети Петри с невидимыми переходами 84
3.2. Подобие и бисимуляция ресурсов в сетях с г-переходами . 86
3.3. Насыщенные сети Петри 89
3.4. Бисимуляция ресурсов 92
3.5. Алгоритм построения аппроксимации 97
4. Бисимуляция ресурсов в сетях Петри высокого уровня 100
4.1. Сети Петри высокого уровня 100
4.2. Раскрашенные сети Петри 101
4.3. Элементарные ресурсы 105
4.4. Подобие и бисимуляция ресурсов в раскрашенных сетях 106
4.5. Алгоритм построения аппроксимации 109
5. Бисимуляция ресурсов во вложенных сетях Петри 112
5.1. Вложенные сети Петри 112
5.2. Объектные ресурсы 120
5.3. Системные ресурсы 123
5.4. Системно-автономные ресурсы 129
5.5. Рекурсивные вложенные сети Петри 132
Заключение 137
Список литературы 138
