Методы и алгоритмы проверки адекватности аналитических моделей организационной деятельности предприятия

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ 1.
ГЛАВА I МОДЕЛИРОВАНИЕ ПРОЦЕССОВ ДЕЯТЕЛЬНОСТИ ПРЕДПРИЯТИЯ И ОЦЕНКА АДЕКВАТНОСТИ ПОЛУЧЕННЫХ МОДЕЛЕЙ
1.1. Анализ бизнеспроцесса и выявление ошибок, связанных с его выполнением.
1.2. САБЕсредства анализа бизнеспроцессов
1.3. Методологии описания бизнеспроцессов.
1.4. Возможность применения современного математического аппарата для валидации анализа бизнеспроцессов
ВЫВОДЫ.
ГЛАВА И ПРИМЕНЕНИЕ МАТЕМАТИЧЕСКОГО АППАРАТА СЕТЕЙ ПЕТРИ ДЛЯ ВАЛИДАЦИИ АНАЛИЗА БИЗНЕСПРОЦЕССОВ.
2.1. Теоретикомножественная модель концептуального представления бизнеспроцесса
2.2. Структура бизнеспроцесса в терминах сети Петри.
2.3. Маркировка сети бизнеспроцесса.
2.4. Правила выполнения сети бизнеспроцесса.
2.5. Пространство состояний сети бизнеспроцесса.
2.6. Расширенная модель сети бизнеспроцесса.
2.7. Анализ сети бизнеспроцесса.
ВЫВОДЫ.
ГЛАВА ТП РАЗРАБОТКА СПЕЦИАЛИЗИРОВАННОГО ПРОГРАММНОГО КОМПЛЕКСА ВИРТУАЛЬНАЯ СРЕДА ИССЛЕДОВАНИЯ И АНАЛИЗА БИЗНЕСПРОЦЕССОВ
3.1. Виртуальная среда исследования бизнеспроцессов
3.2. Специализированный программный комплекс
ГЛАВА IV ОПИСАНИЕ МЕТОДОВ ЭКСПЕРИМЕНТАЛЬНЫХ ИССЛЕДОВАНИИ
4.1. Постановка задачи эксперимента.
4.2. Решение задач эксперимента.
4.3. Результаты эксперимента.
ВЫВОДЫ.
ВЫВОДЫ ПО ДИССЕРТАЦИОННОЙ РАБОТЕ.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК..
ПРИЛОЖЕНИЕ А Элементы диаграммных нотаций
ПРИЛОЖЕНИЕ Б Элементы расширенной сети бизнеспроцесса.
ПРИЛОЖЕНИЕ В Сравнительный анализ диаграммных нотаций
ПРИЛОЖЕНИЕ Г Описание структуры файлов обмена
ПРИЛОЖЕНИЕ Д Глоссарий.
ВВЕДЕНИЕ
Актуальность