Анализ возможностей сети Петри для моделирования процессов развития современного авиапредприятия.

Реальные системы состоят из разнообразных компонентов, различающихся физическими свойствами, функциональным назначением, сложностью внутренней структуры. Для того чтобы сконструировать адекватный математический аппарат, предназначенный для моделирования систем, необходимо[21]: :

·  установить круг качественных и количественных задач, которые должны решаться с помощью моделей, например — выполняет ли система те функции, для которых она предназначена; функционирует ли она эффективна; можно ли упростить систему, не нарушая ее общего функционирования; можно ли из заданных систем сконструировать более сложную, отвечающую заданным требованиям и т.д.;

·  осуществить переход от физических и функциональных особенностей компонентов системы к их абстракциям, сначала в форме некоторого набора концептуальных понятий, затем— в точных математических терминах.

Компоненты структуры авиапредприятия и их действия представляются абстрактными событиями такими, например, как завершение этапа проекта, продажа старого оборудования, поиск потенциальных исполнителей модернизации .

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

Реальная система функционирует во времени, события происходят в некоторые моменты времени и длятся некоторое время. В синхронных моделях систем события явно привязаны к определенным моментам или интервалам времени, в которые происходит одновременное изменение состояний всех компонентов системы, трактуемое как изменение общего состояния системы. Смена состояний в указанных моделях происходит последовательно. Этот подход к моделированию сложных организационно-технических систем имеет ряд недостатков :

·  в большой системе приходится учитывать состояние всех компонентов при каждой смене ее общего состояния, что делает модель громоздкой;

·  при таком подходе исчезает информация о причинно-следственных связях между событиями в системе; такие понятия, как конфликты между компонентами системы (из-за ресурсов) или ожидание одним из компонентов результатов работы других компонентов, трудно выражаются в терминах смены состояний системы;

·  в так называемых асинхронных системах события могут происходить внутри неопределенно больших интервалов времени, заранее трудно или нельзя указать более точно время их начала, конца и длительность.

Выходом может служить отказ от введения в модели систем времени и тактированных последовательностей изменений состояний, а замена их — причинно-следственными связями между событиями. Модели такого типа, в том числе сети Петри (теория сетей Петри разработана немецким математиком Карлом-Адамом Петри в диссертационной работе «Взаимодействующие автоматы» в 1962г), называют асинхронными. В указанных моделях если возникает необходимость осуществить привязку ко времени, то моменты или интервалы времени представляют как события. Замена временных связей причинно-следственными связями дает возможность более наглядно описать структурные особенности функционирования систем.

Отказ от времени приводит к тому, что события в асинхронной модели рассматриваются или как элементарные (неделимые, мгновенные), или как составные, имеющие некоторую внутреннюю структуру, образованную из подсобытий .

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

Условие имеет емкость:

· 0— не выполнено;

· 1— выполнено;

· n— условие выполнено с n-кратным запасом.

Условие соответствует таким ситуациям в моделируемой системе, как оформление документов на модернизацию. Определенные сочетания условий разрешают реализоваться некоторому событию (предусловия события), а реализация события изменяет некоторые условия (постусловия события), т.е. события взаимодействуют с условиями, а условия — с событиями.

Таким образом, предполагается, что для решения задач достаточно представить системы как структуры, образованные из элементов двух типов — событий и условий.

В сетях Петри события и условия представлены абстрактными символами из двух непересекающихся алфавитов, называемых соответственно множеством переходов и множеством позиций. Условия-позиции и события-переходы связаны отношением непосредственной зависимости (непосредственной причинно-следственной связи), которое изображается с помощью направленных дуг, ведущих из позиций в переходы и из переходов в позиции. Позиции, из которых ведут дуги на данный переход, называются его входными позициями, а позиции, на которые ведут дуги из данного перехода, — выходными позициями.

Выполнение условия изображается разметкой соответствующей позиции, а именно помещением числа n или n маркеров (фишек) в это место, где n>0 — емкость условия.

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

Переход может сработать, если выполнены все условия реализации соответствующего события. Срабатывание перехода — это неделимое действие, изменяющее разметку его входных и выходных позиций. В процессе функционирования сети происходит смена разметок мест как результат срабатывания ее переходов. Сеть останавливается, если ни один из ее переходов не может сработать.

Таким образом, сети Петри формализуют понятие абстрактной асинхронной системы— динамической структуры из событий и условий.

Сетью Петри называется ориентированный двудольный (бихроматический) граф G_p=(P, T, K, S), в котором P и T — два множества вершин, причем P={p_i} — множество вершин позиций p_i, T={t_j} — множество вершин переходов t_j (P Ç T = Æ), соединенных между собой дугами K = P ´ T È T ´ P по функциональным правилам S [22].

В общем случае функциональные правила S включают матрицы инциденций и ингибиторных дуг, вектора (функции) начальной маркировки, временных задержек и приоритетов переходов.

В зависимости от функциональных правил S формируется требуемая интерпретация сетей Петри, обусловливающая ее конкретное применение.

Можно указать три эквивалентных способа задания сетей Петри:

· графический;

· аналитический (теоретико-множественный);

· матричный.

Графический способ.Множество элементов P графа Петри G_p, часто обозначаемого PN, изображаются кружками, а множество T — утолщенными короткими прямыми линиями. Множество дуг, которое соответствует множествам упорядоченных пар вершин (p_i, t_j) и (t_j, p_i) называют множеством дуг K графа PN.

Графическое изображение вершин переходов также может быть представлено в виде квадратов или прямоугольников.