Применение сетей Петри для моделирования с целью обнаружения и поиска перемежающихся отказов в ЭВМ

На примере одного из подклассов перемежающихся отказов ЭВМ дано обоснование и показывается целесообразность применения сетей Петри для моделирования процессов, при протекании которых эти отказы возникают. Исследуется построенная модель, определяются факторы (параметры процесса), влияющие на вероятность возникновения отказов. Даются рекомендации по практическому применению моделей.