Моделирование сети Петри

Необходимо смоделировать все модели (мультисерверной микроядерной ОС, прототипа ОС Касперского) в сетях Петри с помощью программы QPNet. Есть «наработки» по модели мульсерверной микроядерной ОС

Общая концепция моделей такая:

1. ПП (процессы пользователя) случайным образом поступают на обработку в ОС
2. ПП проходят несколько этапов обслуживания с привлечением аппаратных и программных ресурсов ОС
3. Время выполнения этапов ПП случайное
4. Если не очередном этапе ПП нет необходимого ресурса, он простаивает.
5. Если время простоя выше заданного предела, ПП переходит в отказ
6. Ресурсы ОС могут с заданной вероятностью перейти в сбой или отказ.
7. Модель создается и отлаживается в условиях безотказности ресурсов и стационарных запросов на входе
8. После отлыдки алгоритмов в идеальных условиях добавляются модели нештатных ситаций

(4 стандартные и спецефические, например, программная ошибка ПП или СП)

Отказом считается переполнение очередей ПП в ожидании ресурсов - внешних устройств.

Цель - не подсчитать вероятности по формулам, а имитировать поведение процессов и ресурсов ОС в реальном времени.

А потом уже подсчитать результаты с заданной точностью.