ВЕСТНИК АСТРАХАНСКОГО ГОСУДАРСТВЕННОГО ТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. СЕРИЯ: УПРАВЛЕНИЕ, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И ИНФОРМАТИКА
Архив статей журнала
Рассматривается управление процессом обслуживания высокотехнологичного оборудования. Описывается механизм эксплуатации, обслуживания и ремонта элементов оборудования и наличие высококвалифицированного персонала, способного выполнять определенные виды работ. Функционирование сети Петри отражает процесс использования и обслуживания высокотехнологичного оборудования. Сеть Петри исследует события, которым соотносят определенные переходы. Рассматриваются условия срабатывания переходов, описываются связи между позициями и переходами. Каждая позиция выбранного множества соответствует видам анализируемого высокотехнологичного оборудования, выполняемым регламентным работам и бригадам, осуществляющим эти работы. Для моделирования процессов функционирования сети Петри формируется функция переходов, позволяющая определять новые состояния сети, получаемые при срабатывании какого-либо перехода. Описаны правила функционирования сети Петри. Реализуются разрешенные переходы, у которых в каждой позиции на входе метки имеются ненулевые значения. Срабатывание перехода осуществляется не обязательно в ближайший разрешенный момент времени. Исследуются изменение состояния сети Петри и ее маркировки при реализации различных переходов и изменении порядка их осуществления. При выполнении любого перехода происходит изменение маркировки рассматриваемой сети Петри. Метки в каждой позиции на входе реализуемого перехода снижаются на единицу, а в каждой выходной позиции увеличиваются на единицу, причем прибавление фишек на выходных позициях и уменьшение на входных происходит одновременно. Для описания процесса функционирования сети Петри применяется матричный подход. В качестве рассматриваемого оборудования могут выступать летательные аппараты, транспорт, станки и т. д. В итоге рассматривается механизм эксплуатации, обслуживания и ремонта элементов оборудования в виде параллельных процессов, которые протекают в рассматриваемой системе независимо друг от друга.