Введение
Глава 1. Предварительные сведения 14
1.1. Множества и отношения 14
1.2. Эквивалентность поведений 26
1.3. Сети Петри 37
1.4. Ресурсы в сетях Петри 43
Глава 2. Некоторые методы поиска бисимуляционно-эквивалентных ресурсов 70
2.1. Бисимуляция в ограниченных сетях 70
2.2. Ограниченное подобие ресурсов 79
2.3. Расслоенное подобие ресурсов 82
2.4. Подобие обобщенных ресурсов 88
2.5. Адаптивное управление процессами на основе подобия ресурсов 98
Глава 3. Некоторые методы анализа сетей с одномерным ресурсом 103
3.1. Одномерные полулинейные множества 104
3.2. Односчетчиковые контуры 115
3.3. Алгоритмы анализа 128
3.4. Правильная организованность 140
3.5. Потоки работ с ресурсом 144
Глава 4. Модели с активными и обобщёнными ресурсами 163
4.1. Сети активных ресурсов 165
4.2. Модульные АР-сети 171
4.3. Модифицированные АР-сети 187
4.4. Автоматы, управляемые ресурсами 215
4.5. Клеточные сети с бесконечномерным ресурсом 229
Заключение 242
Благодарности 243
Литература
