Введение
Глава I Моделирование процессов деятельности предприятия и оценка адекватности полученных моделей 9
1.1. Анализ бизнес-процесса и выявление ошибок, связанных с его выполнением 9
1.2. CASE-средства анализа бизнес-процессов 15
1.3. Методологии описания бизнес-процессов 18
1.4. Возможность применения современного математического аппарата для валидации анализа бизнес-процессов 25
Выводы 27
Глава II Применение математического аппарата сетей петри для валидации анализа бизнес-процессов 29
2.1. Теоретико-множественная модель концептуального представления бизнес-процесса 31
2.2. Структура бизнес-процесса в терминах сети Петри 36
2.3. Маркировка сети бизнес-процесса 39
2.4. Правила выполнения сети бизнес-процесса 41
2.5. Пространство состояний сети бизнес-процесса 42
2.6. Расширенная модель сети бизнес-процесса 44
2.7. Анализ сети бизнес-процесса 49
Выводы 60
Глава III Разработка специализированного программного комплекса «виртуальная среда исследования и анализа бизнес-процессов» 62
3.1. Виртуальная среда исследования бизнес-процессов 62
3.2. Специализированный программный комплекс 62
Выводы 90
Глава IV Описание методов экспериментальных исследований 91
4.1. Постановка задачи эксперимента 91
4.2. Решение задач эксперимента 95
4.3. Результаты эксперимента 100
Выводы 104
Приложение
