Моделирование редуцированной сети

Анализ редуцированной сети

В результате проведённого прогона входных векторов, можно заключить, что:

·  сеть является безопасной для позиций, не являющихся счётчиками. Счётчики необходимы для контроля ёмкости условия переходов или используются для количественного учёта потоков. Позициями-счетчиками для данной сети являются: p8, p13, p12-1, p12-2, p12-3, p17

·  сеть пассивных переходов, конфликтов и тупиковых ситуаций не имеет.

Анализ сети показал, что в случае неожиданного прекращения потока инвестиций (кроме инвестиций, которым соответствует наличие маркера в позиции p00 в момент модельного времени T=1 и T=5 и в соответствующих маркировках m0 и m5 соответственно), ИК рассчитается с инвесторами, только в том случае, если ППИ достигнет эксплутационной фазы.

Дальнейший анализ сети сводится к вопросу достижимости определённой маркировки из начальной. Наложим на позицию p2 условие ограниченности. Наложение этого ограничения объясняется тем, что задержка денежных средств в этой позиции может повлечь за собой осложнения в поведении ИК, связанные с увеличением налогооблагаемой базы, а так же с увеличением рисков и, как следствие, снижением рентабельности компании. Наложение условия безопасности на позицию p2 дает возможность моделирования возврата денежных средств инвесторам после активации дуги (t16,p2) только в такие моменты модельного времени, которые не связанны с наступлением событий p3 или p9. Поэтому имеет смысл ввести 2-ограниченность для позиции p2, моделируя, таким образом, возможность расчёта ИК с инвесторами в любой момент модельного времени после активации дуги (t16,p2), и возможность при этом отправки оборотных средств в УК или приобретения (обновления) материальных ресурсов у поставщиков при необходимости.

Тогда задачу достижимости можно сформулировать следующим образом: при каких условиях возникает событие, соответствующее нарушению безопасности позиции p2.

Начальная маркировка для редуцированной сети имеет вид:

·  m(a1,a2,a3,a4,a5,a6)=d

·  m(p1,p2…p17)=0

Рассматриваемая динамическая сеть моделирует параллельные процессы во времени. Имитационное моделирование процесса покупки акций и инвестирования занимает некоторое модельное время. Поэтому имеет смысл ввести понятие функции поступления денежных средств от модельного времени на входные позиции p00-p03 с целью исследования свойств сети и соответствующего проекта ИК, а именно с целью выявления зависимости критерия безопасности для позиции p2 от входных функций.            Очевидно, что при больших финансовых потоках, характеризующихся постоянным наличием маркеров в позициях p00 – p03, ограниченность позиции p2 нарушится, а моделируемая ИК получит простои финансовых средств в БЗ, неся убытки, вызванные увеличением налогооблагаемой базы, снижением оборачиваемости оборотных средств, снижением курса акций и пр.

Предлагается модифицировать продуцирующую сеть и соответствующий проект ИК так, что бы была возможность параллельной работы ИК с несколькими ОПИ, сохраняя позицию буферной зоны p2 2-ограниченной. Регулировка финансовых потоков будет осуществляться непосредственно из БЗ, как регулирующего органа управления, исходя из этапов каждого ППИ, ситуации на фондовом рынке и договорными взаимоотношениями с инвесторами.

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

В модифицированную сеть введены новые позиции и переходы, моделирующие работу ОПИ в регионах. Условно говоря, каждая “ четверть ” сети является подсетью, моделирующей тот или иной ППИ. В общем случае количество этих подсетей может быть большим, чем изображено на рис.12. Полученная сеть является функциональной, то есть запуск того или иного перехода, входными позициями которого являются позиции P2, С1, С2, С3 и С4, определяется не только наличием соответствующих маркеров в этих позициях, но и выбором приоритетных направлений промышленного инвестирования, приносящих наибольшую прибыль. Выбор основывается на данных, полученных в результате прогона полученной имитационной модели.

Декларации сети:

Функция активации переходов: переход срабатывает, если для каждой из его входных позиций выполняется условие Ni ≥ Ki , где Ni — число маркеров в i-й входной позиции, Ki — вес дуги, идущей от i- й позиции к переходу; при срабатывании перехода число маркеров в i- й входной позиции уменьшается на Ki , а в j-й выходной позиции увеличивается на Mj , где Mj — вес дуги, связывающей переход с j-й позицией.

Сработав один раз, переходы t12-t16, f12-f16, m12-m16, n12-n16 начинают генерировать маркеры типа “ a ” таким образом, что в их выходную позицию начинают помещаться маркеры по одному в единицу модельного времени.

Веса дуг:

·  w (p13, t12-t16)=H

·  Веса всех остальных дуг равны единице

Ограниченность позиций:

·  p13, q13, z13, x13 - H–ограниченны

·  p2 – 2-ограниченна

Типы маркеров, веса переходов, возможные значения позиций ДПС аналогичны сети, построенной из продукционных правил.

Заключение