Пример сети Петри для системы обнаружения и устранения неисправностей в технической системе

Пример 2. Требуется описать с помощью сети Петри процессы возникновения и устранения неисправностей в некоторой технической системе, состоящей из М однотипных блоков; в запасе имеется один исправный блок; известны статистические данные об интенсивностях возникновения отказов и длительностях таких операций, как поиск неисправностей, замена и ремонт отказавшего блока.

На рис. 5.17 представлена соответствующая сеть Петри. При числе маркеров в позиции, равном М, можно не ставить М точек, а записать в позиции значение М.

В данном примере значение М в позиции p2 соответствует числу имеющихся в системе блоков. Переходы отображают следующие события: t1 – отказ блока, t2 – обнаружение неисправного блока, t3 – замена неисправного блока, t4 – окончание ремонта.

При наличии маркера в позиции p2 переход t1 срабатывает, но с задержкой, равной вычисленному случайному значению моделируемого отрезка времени между отказами. После выхода маркера из t1 он попадает через p1 в t2, если имеется маркер в позиции p6. Это означает, что обслуживающая систему бригада специалистов свободна и может приступать к поискувозникшей неисправности.

Рис. 5.17. Сеть Петри к примеру 2

 

В переходе t2 маркер задерживается на время, равное случайному значению длительности поиска неисправности. Далее маркер оказывается в р3, и, если имеется запасной блок (маркер в р4), то запускается переход t3, из которого маркеры выйдут в p2, p5 и p6, через отрезок времени, требуемый для замены блока. После этого в t4 имитируется восстановление неисправного блока.

 








Дата добавления: 2015-09-18; просмотров: 766;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.003 сек.