Анализ моделирования систем

Размещено на http://www.allbest.ru/

ФГБОУ ВПО «Воронежский государственный технический университет» Утверждено Редакционно-издательским советом университета в качестве учебного пособия

МОДЕЛИРОВАНИЕ СИСТЕМ

Э.И. Воробьев

Воронеж 2012

УДК 681.3

Воробьев Э.И. Моделирование систем: Учеб. пособие. Воронеж: Воронеж. гос. техн. ун-т, 2012. 94 с.

В учебном пособии рассматриваются теоретические и практические сведения для изучения основных возможностей моделирования систем в пакете Arena.

Учебное пособие соответствует требованиям Государственного стандарта высшего профессионального образования по направлению 230100 «Информатика и вычислительная техника», специальности 230104 «Системы автоматизированного проектирования», дисциплине «Моделирование систем».

Табл. 54. Ил. 27 Библиогр.: 9 назв.

Научный редактор: д-р техн. наук, проф. Львович Я.Е.

Рецензенты: кафедра вычислительной техники Воронежской лесотехнической академии (зав. кафедрой д-р техн. наук, проф. В.К. Зольников ); д-р техн. наук, проф. Макаров О.Ю.

Печатается по решению редакционно-издательского совета

Воронежского государственного технического университета

© Воробьев Э.И

© Оформление. Воронежский государственный технический университет, 2012

Содержание

Введение

1. Имитационное моделирование систем

1.1 Достоинства и недостатки имитационного моделирования систем

1.2 Математические основы ПП Arena 9.0

1.2.1 Системы массового обслуживания

1.2.2 Сети Петри

1.3 Начало работы с программным пакетом Arena 9.0

1.4 Basic Process Panel (панель основных процессов)

1.4.1 Схемные модули

1.5 Advanced Process Panel (панель усовершенствованных процессов)

1.5.1 Схемные модули

1.5.2 Модули данных

1.6 Advanced Transfer Panel (панель перемещения)

1.6.1 Схемные модули

1.6.2 Модули данных

1.7 Панель отчётов

1.8 Панель навигации

1.9 Построитель выражений

2. Практическое применение пакета Arena

2.1 Пример простейшего моделирования

2.2 Input Analyzer

2.3 Пример более сложного моделирования

2.4 Process Analyzer

2.5 Output Analyzer

Заключение

Библиографический список

Введение

Данное учебное пособие ориентировано на студентов технических и экономических специальностей, в специализацию которых входят следующие курсы: «Компьютерное моделирование», «Моделирование систем», «Моделирование экономических процессов», «Математическое моделирование систем», «Моделирование и анализ бизнес-процессов», «Реинжиниринг бизнес-процессов» и другие.

Учебное пособие «Моделирование систем» ориентировано на формирование у студентов навыков и знаний в теории моделирования систем и процессов различной природы с целью последующего их анализа и оптимизации с использованием современных компьютерных технологий.

Теоретическая часть пособия дает сведения об основных понятиях моделирования, о возможных методах классификации моделей. Также рассматриваются методологии структурного анализа: IDEF0, IDEF3 и DFD, и методы и средства имитационного моделирования: сети Петри, системы массового обслуживания.

Особое внимание в этом учебном пособие уделено концепции ARIS, которая за последние 5-10 лет приобретает все большую популярность. Рассмотрена теоретическая часть моделирования в ARIS, также приведен пример, который позволит более глубоко ознакомиться с этим аппаратом моделирования. В качестве математической модели ИС часто используются системы массового обслуживания (СМО). Это системы, которые обслуживают входящий поток заявок. На выходе имеем поток обслуженных заявок. В процессе обслуживания могут создаваться очереди конечной и бесконечной длины. Часть входящих заявок может получить отказ.

Кроме того, различают одноканальные и многоканальные СМО.

Исходные данные для анализа: параметры распределения входящих и исходящих потоков, а также характеристики самой СМО, например среднее время обслуживания. В результате расчетов определяют такие характеристики СМО, как среднее число заявок в системе, средняя продолжительность пребывания заявок в системе, среднее число заявок в очереди, средняя продолжительность пребывания заявок в очереди, средняя длина очереди и т.д.

Такие модели исследуют двумя методами, дающими близкие результаты. Аналитические методы теории СМО позволяют выполнять вероятностные расчеты и вычислять теоретические значения характеристик СМО. Имитационное моделирование позволяет получить приблизительные оценки тех же параметров, причем с увеличением длительности моделирования они приближаются к теоретическим значениям. Имитационное моделирование можно использовать для исследования сложных систем, для которых непосредственное применение теории СМО затруднительно.

Данное методическое пособие описывает работу пакета имитационного моделирования Arena (фирма Rockwell Software).

Система позволяет строить визуализированные имитационные модели, проигрывать их и анализировать результаты.

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

1. Имитационное моделирование систем

1.1 Достоинства и недостатки имитационного моделирования систем

Математические модели могут быть аналитическими, численными, алгоритмическими и имитационными.

Когда явления в системе настолько сложны и многообразны, что аналитическая модель становится слишком грубым приближением к действительности, то исследователь вынужден использовать имитационное моделирование [4, 17, 23, 27].

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

Сущность метода имитационного моделирования заключается в разработке таких алгоритмов и программ, которые имитируют поведение системы, ее свойства и характеристики в необходимом для исследования системы составе, объеме и области изменения ее параметров [29].

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

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

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

Имитационное моделирование может применяться в самых различных сферах деятельности. Ниже приведен список задач, при решении которых моделирование особенно эффективно [14]:

- проектирование и анализ производственных систем;

- оценка различных систем вооружений и требований к их материально-техническому обеспечению;

- определение требований к оборудованию и протоколам сетей связи;

- определение требований к оборудованию и программному обеспечению различных компьютерных систем;

- проектирование и анализ работы транспортных систем, например: аэропортов, автомагистралей, портов и метрополитена;

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

- модернизация различных процессов в деловой сфере;

- определение политики в системах управления запасами;

- анализ финансовых и экономических систем;

- при подготовке специалистов и освоении новой техники на имитаторах (тренажёрах).

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

В качестве второго примера можно рассмотреть случай, когда необходимо определить загруженность ресурсов (оборудование или люди) предприятия и принять управленческое решение по закупке нового оборудования или найме/увольнении сотрудников. Реальные действия могут привести к ненужным затратам: купили новое оборудование, а оно простаивает; уволили людей, а в реальности оказалось, что оставшийся персонал не справляется с объемом работы.

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

часто и единственный практически доступный метод получения информации о поведении системы, особенно на этапе ее проектирования [14].

Несмотря на это, существуют обстоятельства, из-за которых могут получиться неадекватные результаты моделирования:

- нечеткая постановка задачи и цели моделирования;

- недостаточность или неполнота исходных данных для моделирования;

- неверное определение источников и распределений случайных величин в реальных системах;

- недостаточный уровень проработки модели;

- недостаточные знания методологии моделирования;

- неподходящее программное обеспечение для моделирования;

- неправильное использование анимации;

- анализ выходных данных, полученных только в результате одного прогона модели [14].

В настоящее время имитационное моделирование широко применяется в мире для исследования сложных систем. Этому способствуют преимущества, присущие этому методу, а именно:

1. Большинство сложных реальных систем с вероятностными параметрами нельзя точно описать с использованием математических моделей.

2. Путем моделирования можно разработать ряд альтернативных вариантов моделей системы и затем определить, какой из них наиболее соответствует исходным требованиям.

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

4. Моделирование позволяет изучить длительный интервал функционирования системы в сжатые сроки или, наоборот, изучить более подробно работу системы в развернутый интервал времени [14].

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

6. Моделирование позволяет оценить некоторые эксплуатационные показатели системы при различных условиях эксплуатации.

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

Использование пакета имитационного моделирования в сравнении с применением универсального языка программирования дает несколько преимуществ:

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

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

3. Имитационные модели, которые созданы с помощью пакетов моделирования, как правило, проще модифицировать и использовать.

4. Пакеты имитационного моделирования обеспечивают более совершенные механизмы обнаружения ошибок, поскольку они выполняют автоматический поиск ошибок многих типов. И так как модель не требует большого числа структурных компонентов, уменьшаются шансы совершить какую-либо ошибку [14].

Современные программные пакеты поддерживают следующие функциональные возможности:

- создание анимационных картинок на базе основной модели с целью визуализации и увеличения наглядности;

- генерирование случайных величин с заданными распределениями вероятностей;

- создание независимых прогонов моделей (по набору случайных величин);

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

- определение и изменение атрибутов объектов и глобальных переменных;

- использование заложенных и созданных пользователем математических выражений и функций;

- создание собственных логических конструкций и использование стандартных схем;

- встроенное средство отладки модели с автоматической возможностью поиска ошибок в модели;

- экспорт и импорт данных (входные данные и результаты моделирования);

- имеющаяся хорошо структурированная документация по пакету.

К сожалению, несмотря на неоспоримые достоинства имитационного моделирования, в настоящее время в России этот метод исследования сложных систем используется мало, это связано с тем, что разработка таких моделей требует больших временных и стоимостных затрат. Но тенденции последнего времени вселяют надежду на то, что ситуация изменится и имитационное моделирование в России будут также широко и активно использовать, как в США, Канаде и Европе. Именно для того чтобы компенсировать этот пробел российской действительности, в курсе «Компьютерное моделирование» рассматриваются средства имитационного моделирования на примере мощного программного пакета (ПП) Arena 9.0.

1.2 Математические основы ПП Arena 9.0

В основе ПП Arena 9.0 заложен математический аппарат систем массового обслуживания (СМО) и сетей Петри. В связи с этим - для лучшего понимания процесса имитации, модулей и их параметров в ПП Arena 9.0 - рассмотрим основы этих математических аппаратов [30].

1.2.1 Системы массового обслуживания

Теория систем массового обслуживания (СМО) появилась в конце 50-х годов наряду с линейным и динамическим программированием, теорией игр и др. из-за активного внедрения в различные сферы деятельности человека вычислительной техники и новых численных методов решения задач. Теория СМО являлась одним из новых разделов теории вероятностей на тот момент.

Исторически считается, что особое влияние на развитие теории СМО оказал датский ученый А. К. Эрланг, труды которого в области проектирования и эксплуатации телефонных станций, послужили толчком к появлению ряда работ в области массового обслуживания [38].

В настоящее время теория СМО является самостоятельным, классическим аппаратом, использующимся во многих средствах имитационного моделирования.

Процесс обслуживания в теории СМО несет широкое значение, под обслуживанием понимается обслуживание клиента, обработка документа, изготовление детали, прием пациента и т.д. В процессе деятельности человека происходят ситуации, когда возникает необходимость в обслуживании различных требований. При этом под требованием мы будем понимать запрос на удовлетворение какой-либо потребности. Под обслуживанием будем понимать удовлетворение потребности[38]. Основными показателями процесса являются: качество и организация процесса обслуживания. Составление СМО определенной предметной области, ее анализ и выдача рекомендаций по повышению эффективности - вот основные этапы работы с моделью СМО.

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

Система массового обслуживания состоит из одного или более обрабатывающих устройств (сервисов), обслуживающих прибытие сущностей, ещё называемых требованиями или фишками, в систему [5].

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

Они могут описывать как реальные физические объекты, так и нефизические объекты. Сущностями могут быть: клиенты, обслуживаемые в ресторане, больнице, аэропорту; документы, части, которые должны быть обслужены или обработаны. В бизнес-процессах - это документы или электронные отчеты (чеки, заказы, контракты). В производственных моделях, сущностями являются сырье, компоненты или готовая продукция. Кроме этого, под сущностями понимают различные типы объектов, типы пакетов данных в сети, данные в программных пакетах. В табл. 3.1 приведены элементы СМО [6, 10, 11].

Таблица 1.1 - основные элементы СМО

Название элемента СМО	Назначение элемента СМО
Генераторы	Генерируют поступление сущностей в систему и временные интервалы их прибытия
Обрабатывающие устройства (сервисы)	Количество обрабатывающих устройств в системе, количество очередей, время обработки одной сущности
Очередь	Правило, по которому обрабатывающее устройство выбирает сущность для обслуживания

В зависимости от поведения сущности, поступившей в систему обслуживания в момент, когда все обрабатывающие устройства заняты, СМО делятся на три группы [1, 5, 12]:

- системы с отказами, или системы с потерями;

- системы с ожиданием, или системы без потерь;

- системы смешанного типа.

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

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

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

По числу обрабатывающих устройств (сервисов) различают: одноканальные СМО и многоканальные СМО.

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

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

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

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

Кроме того, все СМО можно разделить по дисциплине обслуживания [27]. Дисциплина обслуживания определяется правилом, которое устройство обслуживания использует для выбора из очереди следующего требования (если таковые есть) по завершении обслуживания текущего требования. Обычно используются такие дисциплины очереди:

- FIFO (First-In, First-Out): требования обслуживаются по принципу «первым прибыл - первым обслужен»;

- LIFO (Last-In, First-Out): требования обслуживаются по принципу «последним прибыл - первым обслужен»;

- приоритет: требования обслуживаются в порядке их значимости.

В качестве примеров СМО могут быть следующие системы:

1. Банк (устройства обслуживания - Кассы, требования - Клиенты).

2. Производство (устройства обслуживания - Станки, рабочие, транспортные средства, требования - Детали, комплектующие).

3. Аэропорт (устройства обслуживания - Кассы, взлетно-посадочные полосы, выходы на посадку, пункты регистрации пассажиров, требования - Пассажиры, самолеты).

4. Больница (устройства обслуживания - Доктора, медперсонал, больничные места, медицинское оборудования, требования - Пациенты).

5. Компьютер (устройства обслуживания - Процессор, память, терминалы, требования - Задачи, сообщения).

6. Порт (устройства обслуживания - Причалы, портовые краны, докеры, требования - Прибывающие танкеры, лайнеры).

7. Супермаркет (устройства обслуживания - Тележки, кассы, менеджеры, требования - Покупатели).

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

1.2.2 Сети Петри

Часто аналитики в задачах моделирования и анализа сложных параллельных и асинхронных систем, обращаются к формальным системам, основанным на использовании математического аппарата сетей Петри. Формальная часть теории сетей Петри, основанная в начале 60-х годов немецким математиком Карлом А. Петри, в настоящее время содержит большое количество моделей, методов и средств анализа, имеющих обширное количество приложений практически во всех отраслях вычислительной техники [39].

Прикладная теория сетей Петри связана главным образом с применением сетей Петри к моделированию систем, их анализу и получающимся в результате этого глубоким проникновением в моделируемые системы [9, 39].

Моделирование в сетях Петри осуществляется на событийном уровне. Определяются, какие действия происходят в системе, какие состояние предшествовали этим действиям и какие состояния примет система после выполнения действия. Выполнения событийной модели в сетях Петри описывает поведение системы. Анализ результатов выполнения может сказать о том, в каких состояниях пребывала или не пребывала система, какие состояния в принципе не достижимы. Однако, такой анализ не дает числовых характеристик, определяющих состояние системы. Развитие теории сетей Петри привело к появлению, так называемых, «цветных» или «раскрашенных» сетей Петри. Понятие цветности в них тесно связано с понятиями переменных, типов данных, условий и других конструкций, более приближенных к языкам программирования.

Таким образом, структура сети Петри задается ориентированным двудольным мультиграфом, в котором одно множество вершин состоит из позиций, а другое множество - из переходов [9, 11, 15, 19, 21], причем множество вершин этого графа разбивается на два подмножества и не существует дуги, соединяющей две вершины из одного подмножества.

Итак, сеть Петри - это набор

N = (T, P, A), T ? Р = Ш,

где Т = {t1, t2, ..., tn} - подмножество вершин, называющихся переходами;

Р = {p1, р2, ..., pm} - подмножество вершин, называющихся позициями (местами);

А ? (TЧP) ? (PЧT) - множество ориентированных дуг.

В сетях Петри вводятся объекты двух типов: динамические - изображаются метками (маркерами) внутри позиций и статические - им соответствуют вершины сети Петри.

Распределение маркеров по позициям называют маркировкой.

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

Таблица 1.2 - элементы сетей Петри

Переходы в сети Петри являются событиями, которые изменяют состояния в реальной системе. На рисунке 1.1 приведен пример интерпретации сети Петри.

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

Основные элементы сети Петри представлены в таблице 3.2.

Рисунок 1.1 - интерпретация сети Петри

Формальный аппарат сетей Петри предназначен для моделирования систем различного рода и отражает состояния исследуемой системы состоянием сети. Состояние сети Петри определяется ее маркировкой. Количество и распределение фишек сети определяют динамику исследуемой системы. Сеть Петри выполняется посредством запусков переходов в результате удаления фишек из его входных позиций и добавления их в выходные позиции перехода. Последовательность срабатываний переходов полностью определяет поведение сети. Таким образом, сеть Петри описывает структуру системы, ее состояние и поведение [21].

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

1. Временная сеть Петри - переходы обладают весом, определяющим продолжительность срабатывания (задержку).

2. Стохастическая сеть Петри -- задержки являются случайными величинами.

3. Функциональная сеть Петри -- задержки определяются как функции некоторых аргументов, например, количества меток в каких-либо позициях, состояния некоторых переходов.

4. Цветная (раскрашенная) сеть Петри -- метки могут быть различных типов, обозначаемых цветами, тип метки может быть использован как аргумент в функциональных сетях.

Основными свойствами сети Петри являются:

1. Ограниченность - число меток в любой позиции сети не может превысить некоторого значения K.

2. Безопасность - частный случай ограниченности.

3. Сохраняемость - постоянство загрузки ресурсов.

4. Достижимость - возможность перехода сети из одного заданного состояния (характеризуемого распределением меток) в другое.

5. Живость - возможностью срабатывания любого перехода при функционировании моделируемого объекта.

Среди достоинств аппарата сетей Петри можно указать следующие:

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

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

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

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

Однако формальная модель сетей Петри, в силу своей универсальности, имеет ряд недостатков, затрудняющих практическое применение для моделирования сложных систем. К основным таким недостаткам можно отнести следующие:

- высокая трудоемкость анализа сетей большой размерности, а реальные бизнес-процессы предприятия моделируются именно сетями большой размерности;

- описательная мощность сетей Петри недостаточна для содержательного моделирования систем;

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

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

- невозможность проведения логических преобразований и, как следствие, - невозможность управления продвижением фишек по сети. Недостатки сетей Петри не позволяют описывать сложные системы и в настоящее время используются для описания простейших операций. Также эти факторы явились причиной разработки подклассов и расширений сетей Петри, в которых вводятся определенные ограничения на структуру сети, что позволяет использовать более простые алгоритмы для ее анализа либо дополнительные элементы формальной системы, призванные увеличить ее описательную мощность. Большого внимания заслуживают сети высокого уровня, такие, как раскрашенные сети Петри (Color Petri Net), являющиеся модификацией сетей Петри и отличающиеся хорошо разработанным математическим аппаратом, широко применяемые для самых разнообразных практических целей. Основной причиной высокой эффективности этих формальных моделей является то, что они без потери возможностей формального анализа позволяют исследователю получить значительно более краткие и удобные описания, чем те, которые могут быть сделаны с помощью сетей низкого уровня. В сетях высокого уровня сложность моделей может быть разделена между структурой сети, надписями и описаниями. Это позволяет осуществлять описание значительно более сложных систем и анализировать процессы преобразования данных с помощью общепринятых математических выражений вместо сложного набора позиций, переходов и дуг. Раскрашенные сети Петри, в отличие от обычных сетей Петри, позволяют описывать структуру системы в виде иерархии диаграмм. Но у данного аппарата моделирования также не устранен ряд недостатков, которые присущи сетям Петри. К таким недостаткам можно отнести:

- необходимость знания разработчиком специфического языка описания моделей [12];

- отсутствие использования принципов объектно-ориентированного подхода;

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

Все недостатки СМО и сетей Петри учтены и устранены разработчиками ПП Arena 9.0. Кроме того, этот программный пакет имеет множество необходимых операторов, законов распределения и других элементов, которые привели к его широкому распространению.

Хотелось бы добавить несколько слов о том, почему Arena 7.0 является программным пакетом. Это связано с тем, что Arena 7.0, кроме основного модуля моделирования и анализа систем, имеет следующие встроенные программные средства:

1. nput Analyzer. Это средство позволяет анализировать входные данные, определять закономерности входных данных для дальнейшего их использования при моделировании систем.

2. Output Analyzer. Это средство позволяет анализировать выходные данные, полученные в результате проведенных экспериментов с моделью.

3. Process Analyzer. Меняет значения параметров модели, структуру модели, занятость ресурсов, их полезность и т. д., сравнивает альтернативные сценарии и выбирает тот сценарий, который имеет наилучший результат. Сравнивая эти сценарии работы модели, можно определить лучшее решение (но не оптимальное, т. к. нельзя просмотреть все возможные решения, т. е. исследовать полностью область допустимых решений), но все-таки определить лучшее решение таким способом возможно.

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

5. Visio Process Analyzer.

6. OptQuest. Является инструментом оптимизации задач, предназначен и специально настроен для анализа результатов моделирования, выполненного с помощью пакета Arena.

Система имитационного моделирования Arena - основной программный продукт Systems Modeling. Корпорация Systems Modeling была основана в 1982 г. Деннисом Педгеном, автором SIMAN - первого промышленно-ориентированного общецелевого языка имитационного моделирования. В настоящее время область деятельности Systems Modeling включает в себя имитационное моделирование и разработку технологического программного обеспечения [30, 32, 34].

Система Arena позволяет моделировать виды деятельности, представленные на рисунке 1.2.

Рисунок 1.2 - области применения Arena

С помощью Arena можно достичь основных целей моделирования сложных систем:

- понять, как устроен исследуемый объект: какова его структура, основные свойства, законы развития и взаимодействие с окружающей средой;

- выявить «узкие места» в материальных, информационных и других потоках;

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

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

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

Данные по моделированию в ПП Arena, модулям, их свойствам, можно найти в [30, 32, 33, 34].

1.3 Начало работы с программным пакетом Arena 9.0

Для того чтобы создать новую модель, необходимо открыть ПП Arena 9.0 через Пуск > Rockwell Software > Arena7.0 > Arena7.0.1. После запуска Arena автоматически открывается новый файл. Модули помещаются на панель методом «drug & drop», соединяются с помощью коннектора. Если модуль остается «горячим» (т. е. выделенным), то при помещении нового модуля на рабочую область (окно блок-схемы) эти модули автоматически соединяются друг с другом. Среда моделирования Arena представлена на рисунке 1.3.



Рисунок 1.3 - среда моделирования Arena

Окно приложения разделено на три области:

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

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

3. Окно проекта - это навигатор системы, в котором отображается рабочая панель со всеми модулями и другие доступные и открытые панели.

Окно проекта включает в себя несколько панелей:

1. Basic Process Panel (панель основных процессов) - содержит модули, которые используются для моделирования основной логики системы.

2. Advanced Process Panel (панель усовершенствованных процессов) - содержит дополнительные модули для создания моделей со сложной логикой процесса.

3. Advanced Transfer Panel (панель перемещения) - содержит специально разработанные блоки для моделирования процесса перемещения объектов с помощью транспортера или конвейера.

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

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

Таким образом, для того чтобы разрабатывать имитационные модеи с использованием ПП Arena, необходимо изучить 3 основные панели:

Basic Process Panel, Advanced Process Panel и Advanced Transfer Panel. Каждая из этих панелей состоит из двух типов модулей: схемных модулей (Flowchart Modules) и модулей данных (Data Modules).

Рассмотрим более подробно состав каждой панели, свойства и назначение каждого модуля.

1.4 Basic Process Panel (панель основных процессов)

1.4.1 Схемные модули

Модуль «Create» является отправной точкой для сущностей в имитационной модели. Сущности - это индивидуальные элементы, обрабатываемые. Создание сущностей модулем происходит по расписанию или же, основываясь на значении времени между прибытиями сущности в модель. Покидая модуль, сущности начинают обрабатываться в системе. Тип создаваемых сущностей определяется в этом модуле.

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

Таблица 1.3 - параметры модуля Create

Параметры	Описание
Name	Уникальное имя модуля, которое будет отражено в блок-схеме
Entity Type	Название типа сущности, который будет создаваться модулем
Type	Способ формирования потока прибытия. Type может иметь значения: Random (используется экспоненциальное распределение со средним значением, определенным пользователем), Schedule (определяется модулем Schedule), Constant (будет использоваться постоянное значение, определенное пользователем) или Expression (поток прибытия будет формироваться по определенному выражению)
Value	Определяет среднее значение времени между прибытиями сущностей
Schedule Name	Имя расписания, которое определяет характер прибытия сущности в систему
Expression	Этот параметр задает тип распределения или любое выражение, определяющее время между прибытиями сущностей в модель
Units	Единицы измерения времени между прибытиями (день, час, минута, секунда)
Entities per arrival	Количество сущностей, входящих в систему за одно прибытие
Max arrivals	Максимальное число сущностей, которое может создать этот модуль (ресурс генератора)
First Creation	Время, через которое прибудет первая сущность в модель, от начала моделирования

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

Наиболее частое применение модуля Process: проверка документов; выполнение заказов; обслуживание клиентов; обработка деталей.

Таблица 1.4 - параметры модуля Process

Параметры	Описание
Name	Уникальное имя модуля, которое будет отражено в блок-схеме
Type	Определяет логическую схему модуля. Standard означает, что логическая схема находится внутри модуля и зависит от параметра Action. Submodel показывает, что логическая схема будет находитья ниже в иерархической модели. Подмодель может содержать любое количество логических модулей
Action	Тип обработки, происходящей внутри модуля, может быть четырех типов: Delay просто показывает, что процесс занимает какое-то время и не отражает использование ресурсов; Seize Delay указывает на то, что в этом модуле были размещены ресурсы и будет происходить их захват и задержка, ресурсы будут захватываться (т. е. будут заняты обработкой сущности), а их освобождение будет происходить позднее с помощью какого-то другого модуля; Seize Delay Release указывает на то, что ресурсы были захвачены, а затем (через время) освободились, и Delay Release означает, что ресурсы до этого были захвачены сущностью, а в таком модуле сущность задержится и освободит ресурс. Все эти параметры доступны только тогда, когда Type = Standard
Priority	Значение приоритета модулей, использующих один и тот же ресурс где угодно в модели. Это свойство недоступно, если Action = Delay (или Delay Release) или когда Type = Submodel
Resources	Определяет ресурсы или группы ресурсов, которые будут обрабатывать сущности в этом модуле
Delay Type	Тип распределения или процедура, определяющая параметры задержки
Units	Единицы измерения времени задержки (день, час, минута, секунда)
Allocation	Определяет стоимостные характеристики обработки. Value Added означает учитывать стоимостные характеристики, а Non-Value Added - не учитывать
Minimum	Поле, определяющее минимальное значение для равномерного и треугольного распределения
Maximum	Поле, определяющее максимальное значение для равномерного и треугольного распределения
Value	Поле, определяющее среднее значение для нормального и треугольного распределения или значения для постоянной временной задержки
Std Dev	Параметр, определяющий стандартное отклонение для распределения
Expression	Поле, в котором задается выражение, определяющее значение временной задержки, если Delay Type = Expression

Более подробно остановимся на параметре Priority (приоритет) модуля Process. Говоря об этом параметре, мы должны ввести понятие «приоритет ресурса» и «приоритет очереди». Рассмотрим пример и объясним, что такое «приоритет ресурса».

На прием к доктору приходят пациенты двух типов: взрослые и дети. Доктор (наш ресурс) - один. Он ведет прием и детей, и взрослых, но детей доктор принимает около 30 минут, а взрослых около 20 минут, причем у детей приоритет выше, чем у взрослых. Каким образом мы можем реализовать это с помощью модуля Process? Во-первых, параметр Action этого модуля должен быть установлен Seize Delay Release для назначения ресурса, т. е. когда сущность «пациент» зайдет в модуль, то она захватит ресурс «доктор» на определенное время. Во-вторых, у нас по условию время обслуживания пациентов различное; таким образом, мы процесс обслуживания пациентов доктором смоделируем в виде двух блоков Process с разными временными задержками (в 30 и 20 минут), но одним и тем же ресурсом «док-тор». В-третьих, чтобы установить приоритет у детей выше, мы в параметре Priority в том процессе, где время обслуживания 30 минут, т. е. обслуживание детей, установим приоритет - High, а во втором процессе - Low или Medium. Таким образом, когда у нас будут приходить сущности «дети», они будут иметь наивысший приоритет в обслуживании. Рассмотрение понятия «приоритет очереди» будет приведено ниже (см. модуль данных очередь Queue).

Модуль «Decide» позволяет описать и задать логику модели, учитывая принятие решений. Он включает опции принятия решений, основанных на условии By Condition (например, если тип сущности Car) или основанных на вероятности By Chance (например, 75 % - true, а 25 % - false). Условия могут быть основаны на значении атрибута Attribute, значении переменной Variable, типе сущности Entity Type или основанные на выражении Expression.

Если поставленное условие выполняется, то сущности будут покидать модуль через ветку True, иначе - по ветке False. Данный модуль позволяет выполнять проверку не только одного условия, но и нескольких. Это достигается с помощью свойства Type > N-way by Chance/by Condition. В зависимости от условия сущность идет по нужной ветке. Таким образом, по ветке True у модуля может быть любое количество выходов (по ветке False - всегда один выход).

Применение: разделение дел на срочные дела и несрочные; перенаправление недоделанных или сделанных неправильно работ на доработку.

Таблица 1.5 - параметры модуля Decide

Параметры	Описание
Name	Уникальное имя модуля, которое будет отражено в блок-схеме
Type	Тип принятия решения: By Chance - выбор направления основывается на вероятности и By Condition - проверка на выполнение конкретно заданного условия
Percent True	Значение, определяющее процент сущностей, который пойдет по направлению True
If	Тип условия, которое будет проверяться на выполнение
Named	Имя переменной, атрибута или типа сущности, который будет проверяться при входе сущности в модуль
Is	Математический знак условия, например: больше, меньше, равно и т. д.
Value	Значение, с которым будет сравниваться атрибут или переменная пришедшей сущности. Если тип условия - Expression, то в выражении должен стоять знак условия, например Color<> Red

Модуль «Batch» отвечает за механизм группировки сущностей в имитационной модели. Группировка может быть постоянной или временной. Временно сгруппированные комплекты сущностей позднее могут быть разъединены с помощью модуля Separate. Комплекты могут состоять из любого числа входящих сущностей, определенного пользователем, или же сущности могут объединяться в комплект в зависимости от атрибута сущности. Временные и стоимостные характеристики выходящей сущности, представляющей комплект, будут равны сумме характеристик вошедших в группу сущностей.

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

Применение: собрать необходимое количество данных, прежде чем начинать их обработку; собрать ранее разделенные копии одной формы; соединить пациента и его больничную карту приема к врачу.

Таблица 1.6 - параметры модуля Batch

Параметры	Описание
Name	Уникальное имя модуля, которое будет отражено в блок-схеме
Type	Способ группировки сущностей может быть: Temporary (временная) и Permanent (постоянная)
Batch Size	Число сущностей, образующих один комплект
Rule	Определяет, по какому признаку будут группироваться. Если Rule = Any Entity, - это значит, что первые 3 (если Batch Size = 3) сущности будут сгруппированы. Если Rule = By Attribute, то будет объединяться заданное количество сущностей с определенным атрибутом. Например, если Attribute Name = Color, то все сущности, имеющие одинаковое значение атрибута Color, будут сгруппированы
Attribute Name	Имя атрибута, по значению которого будут группироваться сущности

Модуль Separate может использоваться в двух возможных вариантах:

1. Для создания копий входящих сущностей. Если модуль создает копии сущностей, то пользователь может задать количество дубликатов сущности. У дублированной сущности значения атрибута, а также анимационная картинка такие же, как и оригинала. Оригинальная сущность также покидает модуль.

2. Для разделения ранее сгруппированных сущностей. Правило для разделения стоимостных и временных характеристик копий сущностей и разделенных сущностей определяется пользователем. Когда временно сгруппированные сущности прибывают в модуль, они раскладываются на составные сущности. Сущности покидают модуль в той же последовательности, в которой они добавлялись в комплект.

Применение: разъединение ранее сгруппированных комплектов документов; для параллельной обработки счетов и документов; для параллельной обработки счетов и документов по одному заказу.

Таблица 1.7 - параметры модуля Separate

Параметры	Описание
Name	Уникальное имя модуля
# of Duplic	Количество создаваемых копий входящей сущности
Type	Способ разделения входящей в модуль сущности. Duplicate Original - просто делает дубликаты входящей сущности. Split Existing Batch проводит разгрупппи- ровку
Allocation Rule	Метод разделения стоимости и времени, если выбран Type=Split Existing Batch. Retain Original Entity Values сохраняет оригинальные значения сущностей. Take All Representative Values - все сущности принимают одинаковое значение. Take Specific Representative Values - сущности принимают специфическое значение

Модуль Assign предназначен для задания нового значения переменной, атрибуту сущности, типу сущности, анимационной картинке сущности или другой переменной в системе.

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

Пример применения модуля Assign: установление приоритета для клиентов; присвоение номера вышедшему приказу.

Таблица 1.8 - параметры модуля Assign

Параметры	Описание
Name	Уникальное имя модуля, которое будет отражено в блок-схеме
Type	Тип назначения, которое будет осуществляться. Other может включать в себя встроенные переменные, такие, как вместимость ресурса или конечное время моделирования
Variable Name	Имя переменной, которая будет изменяться в этом модуле
Attribute Name	Имя атрибута, который будет изменяться в этом модуле
Entity Type	Новый тип сущности, присваиваемый сущности в этом модуле
Entity Picture	Новая анимационная картинка для сущности, прошедшей этот модуль
New Value	Присваиваемое новое значение для атрибута, переменной

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

Таблица 1.9 - параметры Модуль Record

Параметры	Описание
Name	Уникальное имя модуля, которое будет отражено в блок-схеме
Type	Определяет тип статистики, которая будет собираться. Count будет увеличивать или уменьшать статистику на заданное значение. Entity Statistics будет собирать общую статистику о сущности, например: время цикла, стоимостные характеристики и т. д. Time Interval будет считать разницу между значением атрибута и текущим временем моделирования. Time Between будет отслеживать время между вхождением сущностей в модуль. Expression будет просто фиксировать значение, определяемое выражением
Attribute Name	Имя атрибута, значение которого будет использоваться для интервальной статистики
Value	Значение, которое будет добавляться к статистике, когда в модуль будет прибывать сущность

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

Модуль Dispose является выходной точкой из имитационной модели. Применение: окончание бизнес-процесса; клиенты покидают отдел.

Таблица 1.10 - параметры модуля Dispose

Параметры	Описание
Name	Уникальное имя модуля, которое будет отражено в блок-схеме
Record Entity Statistics	Определяет, будет ли вестись статистика о выходе сущности из системы

1.4.2 Модули данных

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

Модуль Entity определяет тип сущности и ее анимационную картинку в имитационном процессе, также определяет стоимостную информацию. Для каждого источника должен быть определен тип сущности, который он генерирует.

Применение модуля Entity: документы (факсы, письма, отчеты и т. д.); люди в моделях больницы или магазина.

Таблица 1.11 - параметры модуля Entity

Параметры	Описание
Entity Type	Название типа сущности
Initial Picture	Графическое представление сущности в начале имитационного процесса. Это значение может быть впоследствии изменено с помощью модуля Assign. Просмотреть анимационные картинки можно так: Edit/ Entity picture

Модуль данных Queue предназначен для изменения правила расстановки сущностей в очереди, т. е. задается правило обслуживания сущности в процессе. По умолчанию тип очереди First in First out.

...