Имитационное моделирование в задачах конфигурирования дискретных объектов с заданным поведением тема диссертации и автореферата по ВАК РФ 05.13.18, кандидат технических наук Петросов, Давид Арегович

• Петросов, Давид Арегович
• кандидат технических наук
• 2010

Оглавление диссертации кандидат технических наук Петросов, Давид Арегович

Перечень условных обозначений.

Введение.

Глава 1. Обзор современного состояния проблемы.

1.1 Дискретное описание объектов различной природы.

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

1.3 Формальные методы поиска требуемых конфигураций ДО.

1.4 Интеллектуальные методы поиска конфигурации.

1.5 Средства поиска конфигураций с заданным поведение.

1.6 Генетические алгоритмы.

1.7 Сети Петри как средства имитационного моделирования ДО.

1.8 Постановка задачи.

Глава 2. Имитационная модель формирования конфигурации ДО со статической структурой.

2.1 Формальная постановка задачи.

2.2 Описание генотипа сетями Петри.

2.3 Целевая функция.

2.4 Описание операторов генетического алгоритма сетями Петри.

2.5 Решение задачи.

2.6 Выводы по второй главе.

Глава 3. Имитационная модель формирования конфигурации ДО с динамической структурой.

3.1 Формальная постановка задачи.

3.2 Формализация сетями Петри.

3.3 Описание генотипа.

3.4 Целевая функция.

3.5 Операторы генетического алгоритма.

3.6 Решение задачи.

3.7 Модель межкомпонентной шины.

3.8 Выводы по третьей главе.

Глава 4. Разработка системы имитационного моделирования конфигурирования ДО.

4.1 Функциональная модель информационной системы имитационного моделирования ДО с заданным поведением.

4.2 Программная реализация.

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

4.4 Пример работы адаптированного генетического алгоритма.

4.5 Применение предложенного метода к проблемной области распределения ресурсов.

4.6 Применение предложенного метода к решению задачи массового обслуживания.

4.7 Оценка эффективности работы генетического алгоритма.

4.8 Выводы по четвертой главе.

Введение диссертации (часть автореферата) на тему «Имитационное моделирование в задачах конфигурирования дискретных объектов с заданным поведением»

Актуальность работы. Дискретное модельное описание является характерным не только для технических, но и для технологических, организационных, экономических, биологических и других типов объектов, что делает целесообразным изучение общих подходов и методов разработки и исследования моделей для такого рода «дискретных» объектов (ДО). Свойством дискретности может обладать структура, поведение и время функционирования объектов.

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

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

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

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

Имитационное моделирование - один из мощных инструментов решения задач синтеза, который целесообразно использовать при конфигурировании объектов. Он дает возможность специалисту экспериментировать с проектируемыми и существующими объектами в случаях, когда делать это с реальным объектом невозможно или нецелесообразно. Разработке теоретических основ имитационного моделирования и применению этой методологии посвящены работы Н.Н. Моисеева, А.А. Самарского, В.П. Строгалева, Ю.И. Рыжикова, Р. Шеннона и др.

Эволюционные методы представляют собой современный математический аппарат нахождения эвристических решений сложных задач, основанный на понятии эволюции, что обуславливает их применение при конфигурировании ДО. Теоретические и прикладные вопросы применения эволюционных методов рассматривались в работах А.Г. Ивахненко, Н.И. Корсунова, В.М. Курейчика, Д. Э. Попова, Дж. Холанда, В. Ф. Хорошевского и др.

Сети Петри, как математический аппарат моделирования динамических дискретных систем, являются удобным формальным и графическим языком для моделирования систем с параллелизмом. Этот язык представляет собой обобщение теории автоматов, в котором может быть выражена концепция одновременно происходящих событий, что позволяет применять данный математический аппарат при создании сложных дискретных объектов. Описанию и применению данного математического аппарата посвящены работы В.Е. Котова, С.А. Юдицкого, В.З. Магергута, И.А. Ломазовой, Дж. Питерсона, и др.

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

Целью диссертационной работы является разработка и исследование имитационных моделей дискретных объектов с заданным поведением.

Поставленная цель определила следующие основные задачи исследования:

1. Выполнить анализ существующих математических моделей конфигурирования ДО;

2. Разработать имитационную модель формирования конфигурации ДО со статической структурой;

3. Разработать имитационную модель формирования конфигурации ДО с динамической структурой;

4. Выполнить программную реализацию конфигурирования ДО на основе разработанных математических моделей.

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

Научная новизна диссертационной работы состоит в следующем:

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

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

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

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

Положения, выносимые на защиту:

1. Способ построения конфигураций ДО с использованием генетических алгоритмов, описанных вложенными сетями Петри;

2. Метод поиска конфигурации дискретного объекта с фиксированными межкомпонентными связями;

3. Метод поиска конфигурации дискретного объекта с перестраиваемыми межкомпонентными связями;

4. Архитектура системы имитационного моделирования дискретных объектов на основе разработанных методов;

5. Комплекс проблемно-ориентированных программ имитационного моделирования дискретных объектов с заданным поведением.

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

Личный вклад соискателя

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

В работах, опубликованных в соавторстве, лично автором выполнена адаптация и формализация генетических алгоритмов на основе инструментария вложенных сетей Петри [4, 34, 36], разработана концепция построения структур вычислительной техники с фиксированными и перестраиваемыми межкомпонентными связями [6, 7, 44, 60], разработан вычислительный алгоритм и модуль поиска конфигурации [3, 47].

Апробация результатов диссертации. Основные научные и практические результаты докладывались и обсуждались на 7 Международном форуме «Радиоэлектроника и молодежь в XXI веке» (Харьков, 2003), 8 Международном форуме «Радиоэлектроника и молодежь в XXI веке» (Харьков, 2004), Международной научно-практической конференции «Информационные технологии в науку и образование» (Харьков 2005), Международной научно-технической конференции молодых учёных БГТУ им. В.Г. Шухова (г. Белгород, 2009), Международной научной конференции «Проблемы управления, передачи и обработки информации (АТМ-ТКИ-50)» (г. Саратов, 2009), XIV Международной научно-производственной конференции "Проблемы сельскохозяйственного производства на современном этапе и пути их решения" (г. Белгород, 2010), на ежегодных научно-технических семинарах кафедры «Информационные технологии» БГТУ им. В.Г.Шухова (2008-2010 г.г.).

Публикации. Основные положения работы изложены в 12 печатных работах, из которых 3 в изданиях, рекомендованных ВАК РФ по научной специальности диссертационной работы. Получено 2 свидетельства о государственной регистрации программ для ЭВМ.

Структура и объем диссертации. Диссертация состоит из введения, четырех глав, заключения, списка использованных источников из 139 наименований и трех приложений. Общий объем диссертации составляет 153 страниц, включая 57 рисунков и 12, таблиц.

Заключение диссертации по теме «Математическое моделирование, численные методы и комплексы программ», Петросов, Давид Арегович

4.6 Выводы по четвертой главе

Разработана функциональная модель ИС имитационного моделирования процесса формирования конфигураций ДО. Осуществлена программная реализация предложенного метода. Рассмотрены примеры решения актуальных задач формирования конфигурации дискретных объектов в предметных областях конфигурирования: вычислительной техники, расписания и систем массового обслуживания, на основе разработанных математических моделей компонентов. Оценена эффективность предложенного метода на основе адаптированного генетического алгоритма на основе вложенных сетей.

ЗАКЛЮЧЕНИЕ

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

В процессе достижения цели работы решены следующие основные задачи:

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

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

3. Предложена математическая модель для формирования конфигурации ДО с фиксированной и перестраиваемой структурой;

4. Разработана архитектура информационной системы, основанной на полученных математических моделях;

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

121

Список литературы диссертационного исследования кандидат технических наук Петросов, Давид Арегович, 2010 год

1. Аристов, С.А. Имитационное моделирование экономических систем Текст./ С А. Аристов// Екатеринбург: Издательство УрГЭУ, 2004. 123 С.

2. Алямовский, А.А. Компьютерное моделирование в инженерной практике Текст./ А.А. Алямовский, В.Е. Одинцов, Н.Б. Пономарев и др.//Спб.: Издательство БВХ Петербург, 2005. - 800 С.

3. Басавин, Д.А. Программа поиска конфигурации вычислительной техника/ Д.А. Басавин, Д.А. Петросов// Свидетельство о государственной регистрации программы для ЭВМ 2009616324 ФГУ ФИПС, 2009.

4. Белова, Н.В. Функционально-ориентированный перестраиваемый процессорный модуль Текст./ Н.В. Белова, В.Г. Лобода, ДА. Петросов// Системи обробки шформацп. Харьков: Издательство ХУПС, - 2005. - №. 3(43).-С. 8-18.

5. Белова, Н.В. Минимальное замкнутое покрытие двух классов цифровых автоматов Текст./ Т.Г. Долженкова, Д.А. Петросов// Радиоэлектроника и молодежь XXI веке.: сб. материалов 7-го Международного молодежного форума. Харьков: ХНУРЭ, 2003. - 468 С.

6. Боев, В.Д Компьютерное моделирование. Элементы теории и практики Текст./ В.Д. Боев, Р.П. Сыпченко// СПб.: Издательство Военной академии связи, 2009. 432 С.

7. Бондарев, В.Н. Искусственный интеллект Текст./ В.Н. Бондарев, Аде Ф.Г.// Учеб. пособие для вузов. Севастополь: Изд-во СевНТУ, 2002. - 615 С.

8. Бондаренко, М.Ф. Системная технология моделирования информационных и организационных систем Текст./ С.И. Маторин, Д.Б. Ельчанинов// Учебное пособие. Харьков: Издательство ХНУРЭ, 2005. - 116 С.

9. Бондаренко, М.Ф. Багатор1внев1 динам in Hi модел1 прийняття рииень Текст./ М.Ф. Бондаренко, З.В. Дудар, О.Б. Кайкова// Навч. noci6. К.: Видавнитство 1С ДО, 1995.-100 С.

10. Бондаренко, М.Ф. Объектная технология моделирования информационных и организационных систем Текст./М.Ф. Бондаренко, Е.А. Соловьева, С.И. Маторин, Д.Б. Ельчанинов// Учебное пособие. Харьков: Издательство ХНУРЭ, 2005. - 160 С.

11. Бондаренко, М.Ф. Системологическая технология моделирования информационных и организационных систем Текст./ М.Ф. Бондаренко, Е.А. Соловьева, С.И. Маторин, Д.Б. Ельчанинов// Учебное пособие. Харьков: Издательство ХНУРЭ, 2005. - 136 С.

12. Боровиков, В.П. Нейронные сети Текст./ В.П. Боровиков // М.: Издательство Горячая линия Телеком, 2008. 390 С.

13. Бодянский, Е.В. Нейро-фаззи сети Петри в задачах моделирования сложных систем Текст./ Е.В Бодянский, Е.И.Кучеренко, А.И. Михалев//Монография. Днепропетровск: Издательство Системные технологии, 2005. - 311 С.

14. Бражник, А.Н. Имитационное моделирование: возможности GPSS WORLD Текст./ А.И. Бражник//СПб.: Издательство Реноме, 2006.-439 С.

15. Буч, Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С ++, 2-е изд.Текст./Г. Буч// М.: Издательство Бином, 1999.-560 С.

16. Васильев Ф.П. Численные методы решения экстремальных задач Текст./ Ф. П. Васильев// М.: Издательство Наука, 1988. 552 С.

17. Васильев, В. В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем Текст./ В.В. Васильев, В.В. Кузьмук// Киев: Издательство Наукова думка, 1990. - 216 С.

18. Веников, В.А. Электрические системы. Электрические сети Текст./ В.А. Веников, В.А. Строев// М.: Издательство Высшая школа, 1998. 511 С.

19. Волк, М.А. Декомпозиция сети Петри при организации моделирования сложных систем Текст./ М.А. Волк, Ю.М. Федюшин// Математическое моделирование и информационные технологии: сб. материалов мини-конф. Белгород: Издательство БелГТАСМ, 1997. - С. 29-33.

20. Волк, М.А. Декомпозиция моделей сложных систем Текст./ A.M. Волк, В.А. Походенко, А.П. Бабаев// Теория и техника передачи, приема и обработки информации: сб., докладов 3-й Международной конференции. — Харьков-Туапсе: Издательство ХТУРЭ, 1997. — С. 172.

21. Воронин, В.В. Диогнастические модели технических объектов Текст./ В.В. Воронин// Системы и процессы, 2002. С. 20-30.

22. Гаврилова, Т.А. Базы знаний интеллектуальных систем Текст./ Т.А. Гаврилова, В.Ф. Хорошевский// СПб.: Издательство Питер, 2000. 384 С.

23. Гиг, Дж. Прикладная общая теория систем Текст./Дж. Гиг//М.: Издательство Мир, 1981. — 733 С.

24. Горбачев, В.А. Организация эффективного моделирования сложных систем Текст./ В.А. Горбачев, М.А. Волк, А.П. Бабаев/ Автоматизированные системы управления и приборы автоматики: сб. научн. тр. Харьков: Издательство ХГТУРЭ, 1997. - С. 20-22.

25. ГОСТ 27.001-95 Межгосударственный стандарт. Система стандартов «Надежность в технике» Текст., 1997. 8 С.

26. Григорьев, А.В. Представление генетических алгоритмов сетями Петри в задаче размещения. Текст./ А.В. Григорьев// Автореф. дис. канд. техн. наук. Казань: 2002. - 20 С.

27. Давыдов, А.Ф. Основы вычислительной техники и программирования Текст./ А.Ф. Давыдов, Л.И. Щеголева// М.: Издательство Энергоиздат, 1981.-256 С.

28. Джарратано, Д. Экспертные системы. Принципы разработки и программирование Текст./ Д. Джаратано, Г. Райли // М.: Издательство Вильяме, 2007.-1152 С.

29. Джонс, Т. Программирование искусственного интеллекта в приложениях Текст./ Тим Джонс // М.: Издательство ДМК Пресс, 2004. 312 С.

30. Дмитриенко, В.Д. Эволюционные методы компьютерного моделирования Текст./ В. Д Дмитриенко., А.Ф Верлань., Н.И. Корсунов, В.А. Шорох //Монография. Киев: Издательство Наукова думка, 1992. - 256 С.

31. Ельчанинов, Д.Б. Применение генетических алгоритмов при проектировании компьютерной техники Текст./Д.Б. Ельчанинов, Д.А. Петросов, Механа Сами// Вестник Херсонского государственного университета. Херсон: Издательство ХГУ, 2003. - №2(18). - С. 146-148.

32. Ельчанинов, Д. Б. Моделирование иерархических структур L-сетями Петри Текст./ Д.Б. Ельчанинов// Автоматизация, телемеханизация и связь в нефтяной промышленности. — М.: Издательство ВНИИОЭНГ, 1998. -№2. С. 7-8.

33. Сльчаншов, Д.Б. Структуроваш мерою rteipi у системах проектування спещал1зованих процесор1в Текст./ Д.Б. Сльчаншов// Автореферат дисертащ1 канд. техн. наук: Харюв, 2000. - 20 С.

34. Емельянов, В.В. Введение в интеллектуальное имитационное моделирование сложных дискретных систем и процессов. Язык РДО Текст./

35. B.В. Емельянов. С.И. Ясиновский// М.: Издательство АНВИК, 1998. 427 С.

36. Жданов, А.А. Автономные искусственный интеллект Текст./ А.А. Жданов// М.: Издательство БИНОМ, 2008. 634 С.

37. Зайцев, Д.А. Уравнения состояний и эквивалентные преобразования временных сетей Петри Текст./Д.А. Зайцев ,А.И. Слепцов// Кибернетика и системный анализ. Киев: Издательство Института кибернетики НАН, 1997. № 5.-С. 59-75.

38. Замятина, Е.Б. Современные теории имитационного моделирования Текст./ Е.Б. Замятина// Пермь: Издательство ИГУ, 2007. 119 С.

39. Ивахненко, А.Г. Помехоустойчивость моделирования Текст./ А.Г. Ивахненко, B.C. Степашко// Киев: Киев: Издательство Наукова думка, 1985. -216 С.

40. Идельчик, В.И. Электрические системы и сети Текст./ В.И. Идельчик//М.: Издательство Энергоатомиздат, 1989. 592 С.

41. Карамышев, Е.П. Программа составления расписания учебного процесса ВУЗа/ Е.П. Карамышев, Д.А. Петросов// Свидетельство огосударственной регистрации программы для ЭВМ № 2010612452 ФГУ ФИПС -2010.

42. Карпов, Ю.Г. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5 Текст./Ю.Г. Карпов// СПб.: Издательство БХВ, 2005.-403 С.

43. Кафаров, В.В. Логическое моделирование типовых технологических процессов Текст./ В.В. Кафаров, B.JI. Перов, В.З. Магергут// ДАН СССР. Т.318, №3, 1991. С. 658-663.

44. Кобелев, Н.Б. Основы имитационного моделирования сложных экономических систем Текст./ Н.Б. Кобелев// М.: Издательство Дело, 2003. -336 С.

45. Колдаев, В.Д. Архитектура ЭВМ Текст./ В.Д. Колдаев, С А. Лупин//М.: Издательство Инфра, 2009. 384 С.

46. Корнеев, В.В. Базы данных. Интеллектуальная обработка информации Текст./ В.В. Корнеев, Гареев А.Ф., Васютин С.В и др.// М.: Издательство Нолидж, 2005. 352 С.

47. Косинов, Р.П. Метасетевой подход к моделированию информационных процессов Текст./ Р.П. Косинов, В.В. Янковский// XXII Гагаринские чтения: сб. докладов молодежной научной конференции. М.: Издательство «ЛАТМЭС», 1996. - С. 82-83.

48. Котов, В.Е. Сети Петри Текст./ В.Е. Котов//М.: Издательство Наука, 1984.-160 С.

49. Котов, В.Е. Алгебра регулярных сетей Петри Текст./ В.Е. Котов//М.: Издательство Кибернетика, 1980. -№ 5. С. 10-18.

50. Котов, В.Е. Структурированные сети Текст./ В.Е. Котов, Л.А. Черкасова// М.: Издательство Кибернетика, 1981. № 4. - С. 33-41.

51. Курейчик, В.М. Теория и практика эволюционного моделирования Текст./В.В. Емельянов, В.В. Курейчик, В.М. Курейчик // М.: Издательство ФИЗМАТЛИТ, 2003. 432 С.

52. Лобода, В.Г. Основы построения ориентированных ЭВМ и Систем Текст./ В.Г. Лобода, Н.В. Белова, С.Ф. Коряк// Харьков: Издательство Смит, 2007. 148 С.

53. Лобода, В.Г. Концепция построения структур функционально ориентированных вычислительных устройств Текст./В.Г Лобода, Д.А. Петросов // АСУ и приборы автоматики. Харьков: Издательство ХНУРЭ, 2003. -№122.-С. 61-71.

54. Ломазова, И.А. Моделирование мультиагентных динамических систем вложенными сетями Петри Текст./ И.А. Ломазова// Программные системы: теоретические основы и приложения. М.: Издательство Наука, 1999. -С.143-156.

55. Ломазова, И.А. Некоторые алгоритмы анализа для многоуровневых вложенных сетей Петри Текст./ И.А. Ломазова// Известия РАН Теория и системы управления. М.: Издательство РАН, 2000. - № 6. - С. 965-974.

56. Ломазова, И. А. Объектно-ориентированные сети Петри: формальная семантика и анализ Текст./И.А. Ломазова // Системная информатика. Новосибирск: Издательство Наука, 2002. - № 8. — С. 143-205.

57. Лоу, А. Имитационное моделирование. Классика CS. Текст./А. Лоу, В. Кельтон // СПб.: Издательство Питер, 2004. 848 С.

58. Лычкина, Н.Н. Имитационное моделирование экономических процессов Текст./ Н.Н. Лычкина// М.: Издательство Академия АйТи, 2005. -164 С.

59. Люгер, Джордж Ф. Искусственный интеллект: стратегии и методы решения сложных проблем Текст./ Джордж Ф. Люггер// М.: Издательство Вильяме, 2003.-864 С.

60. Магергут, В.З. Модель реактора с распределенными параметрами производства малеинового ангидрида Текст./ В.З. Магергут, А.А. Халифа, А.П.

61. Бурмистров// Известия Тульского государственного университета. Серия «Химия». Тула: Издательство ТулГУ, 2006. - №6. - С. 204 - 210.

62. Магергут, В.З. Роль технологических условий в выявлении аварийных и нештатных ситуаций при создании АСУ ТП Текст./ В.З. Магергут// Мехатроника, Автоматизация, 2007. №7 (76). - С.53-54.

63. Маркш, О. М. Спецпроцесор модифшованих керуючих мереж IleTpi для орган 1зац11 безпечного руху на 3ani3HH4HOMy транспорт! Текст./ О.М. Маркш// автореферат дисертаци канд. техн. наук. Харюв, 1997. - 22 С.

64. Минцберг, Г. Структура в кулаке: создание эффективной организации Текст./ Герни Минцберг// СПб.: Издательство Питер, 2004. 512 С.

65. Моисеев, Н. Н. Численные методы в теории оптимальных систем Текст./ Н.Н. Моисеев// М.: Издательство Наука, 1971. - 424 С.

66. Молчанов, Г.И. Повышение качества печатных плат в процессе автоматической трассировки соединений, Текст./ Г.И. Молчанов// Вестник НТУ «ХПИ». Харьков: Издательство НТУ «ХПИ», 2001. - №114. - С. 101-106.

67. Мурата, Т. Сети Петри: свойства, анализ, приложения Текст./ Т. Мурата// ТИИЭР. 1989. - Т. 77. - № 4. - С. 41-85.

68. Мурогов, В.Н. Имитационное моделирование микропроцессорных систем на базе Е-сетей для ПЭВМ Текст./ В.Н. Муроговата// Микропроцессорные средства и системы. 1990. - № 1. - С. 36-37.

69. Мурашко, А.Г. Первое знакомство с сетями Петри. Текст./А.Г. Мурашко// Учебное пособие. К.: Издательство УМК ВО, 1988. - 71 С.

70. Нильсон, Н. Принципы искусственного интеллекта Текст./ Н. Нильсон// М.: Издательство Радио и связь, 1985. 386 С.

71. Норенков, И.П. Эволюционные методы в задачах выбора проектных решений Текст. /И. П. Норенков, Н.М. Арутюнян// Наука и образование. М.: Издательство МГТУ им. Н.Э. Баумана, 2007. - №9. 112-115 С.

72. Овчинников, В.А. Алгоритмизация комбинаторно-оптимизационных задач при проектировании ЭВМ и систем Текст./ В.А. Овчинников// М.: Издательство МГТУ им. Н.Э. Баумана, 2001. 288 С.

73. Патент Украши на винахщ №15213 А. Процесор Heipi / В.В. Матейченко, Г.О. Калшш, О.М. Маркш, С.Ю. Запорожцев, О.М. Гуца // Офщшний бюлетень «Промислова власшсть». К.: Держпатент Украши, 1997. -№3. - С. 324-325.

74. Патент Украши на винахщ №32183 А. Процесор Петр! / Д.Б. Сльчаншов, В.В. Матейченко, В.Г. Лобода, Ю.С. Петришин // Бюл. №7-11.

75. Перегудов, Ф.И., Тарасенко Ф.П. Введение в системный анализ Текст./ Ф. И. Перегудов, Ф.П. Тарасенко// М.: Издательство Высш. школа, 1989.-584 С.

76. Петросов, Д.А. Представление генетических алгоритмов сетями Петри в задачах проектирования компьютерной техники Текст./ Д.А. Петросов,

77. B.Г. Лобода, Д.Б. Ельчанинов// Информационные технологии в науку и образование: материалы научно-практической конференции. — Харьков: Издательство ХНУРЭ, 2005. - С. 48-51.

78. Петросов, ДА. Математическая модель формирования конфигурации вычислительной техники на основе триггеров Текст./ Д.А. Петросов// Вестник ИжГТУ. Ижевск: Издательство ИжГТУ, 2009. - No3(43). —1. C.139-143.

79. Питерсон, Дж. Теория сетей Петри и моделирование систем. Текст./ Дж. Питерсон// М.: Мир, 1984. 264 С.

80. Попеленко, А.А. Применение окрашенных сетей Петри для моделирования распределенных вычислительных систем/ А.А. Попеленко, А.Н. Федотенков Текст.// АСУ и приборы автоматики. Харьков: Издательство ХИРЭ, 1988.-№87.-С. 109-114.

81. Роберте, Дж. Современная фирма: структура организации для эффективного роста Текст./ ДЖ. Роберте// М.: Издательство Вильяме, 2007. -352 С.

82. Рыжиков, Ю.И. Имитационное моделирование Текст./ Ю.И. Рыжиков// М.: Издательство Альтекс, 2004. 384 С.

83. Самарский, А. А. Математическое моделирование: Идеи. Методы. Примеры Текст./ А.А. Самарский, Михайлов А. П.// М.: Издательство ФИЗМАТЛИТ, 2005. 421 С.

84. Самарский, А. А. Математическое моделирование Текст./ А.А. Самарский, Михайлов А. П.// Монография. М.: Издательство ФИЗМАТЛИТ Физматлит, 2002. - 321 С.

85. Семенова, И.И. Способ формирования моделей сложных технических систем Текст./ И.И. Семенова// Новое в науке и технике, 2009. -№2.-С. 18-24.

86. Советов, Б.Я. Моделирование систем Текст./ Б.Я. Советов, С.А. Яковлев//-М.: Издательство Высшая школа, 1998. 319 С.

87. Томашевский, В. Н. Имитационное моделирование в среде GPSS/ В.Н. Томашевский, Е. Г. Жданова Текст.// М.: Издательство Бестселлер, 2003. -416 С.

88. Трахтенгерц, Э.А. Компьютерная поддержка принятия решений Текст./Э.А. Трахтенгерц// М.: Издательство Синтег, 1998. 376 С.

89. Уемов, А.И. Системный подход и общая теория систем Текст./А. И. Уемов// М.: Издательство Мысль, 1978. 272 С.

90. Устименко, А.П. Отображение временных причинно-следственных структур во временные сети Петри Текст./ А.П. Устименко// Кибернетика и системный анализ. Киев: Издательство Института кибернетики НАН, 1997. № 2. - С. 44-54.

91. Формалев, В.Ф. Численные методы Текст./ В.Ф. Формалев, Д.Л. Ревизников// М.: Издательство ФИЗМАТЛИТ, 2004.-400 С.

92. Хемди, А. Введение в исследование операций Текст./ Хемди А. Таха// М.: Издательство Вильяме, 2007. 903 С.

93. Хорафас, Д.Н. Системы и моделирование Текст./ Д.Н. Хорафас//М.: Издательство Мир, 1967.-420 С.

94. Шеннон, Р. Имитационное моделирование систем: Искусство и наука Текст./ Р. Шеннон// М.: Издательство Мир, 1978. — 424 С.

95. Шостак, И.В. Событийный подход в имитационном моделировании распределительных микропроцессорных систем Текст./ И.В. Шостак// Харьков: Издательство ХИРЭ, 1988. № 87.- С. 28-32.

96. Шрайбер, Т.Д. Моделирование на GPSS Текст./ Т.Д. Шрайбер// М.: Издательство Машиностроение, 1980. 592 С.

97. Шрейдер, Ю.А. Системы и модели Текст./Ю.А. Шрейдер, А.А. Шаров// М.: Издательство Радио и связь, 1982. - 152 С.

98. Чечкин, А.В. Математическая информатика Текст./ А.В. Чечкин// М.: Издательство Наука, 1991. — 416 С.

99. Юдицкий, С.А. Логическое управление дискретными процессами Текст./ С.А. Юдицкий, В.З. Магергут// М.: Издательство Машиностроение, 1987.- 176 С.

100. Юдицкий, С. А. Построение логических моделей химико-технологических объектов (первичные и исходные модели) Текст./ СА. Юдицкий, В.З. Магергут, B.JI. Перов//. М.: Издательство МХТИ им. Д.И.Менделеева, 1988. 80 С.

101. Юдицкий, С. А Взаимодействие целевой и операционной динамических моделей сложных процессов Текст./ С.А. , Юдицкий, П.Н. Владиславлев, И А. Мурадян// Автоматика и телемеханика. М.: Издательство ИПУ, 2005.-№11. С. 126-134.

102. Юдицкий, С.А. Основы предпроектного анализа организационных систем Текст./ С.А. Юдицкий, П.Н. Владиславлев// М.: Издательство Финансы и статистика, 2005. 144 С.

103. Altuntas, В. A framework for adaptive synchronization of distributed simulations/ B. A. Altuntas, R.A. Wysk // Proc. of the Winter Simulation Conf. 2004. P. 371-377.

104. Anisimov, N. PNA3-Editor: Compositional Petri Net Editor for Protocol Specification Текст./ N Anisimov, A. Kovalenko, P. Postupalski // Proc. MASCOTS 95, Durham, NC, USA, Januaiy 1995. P. 19-32.

105. Attieh, A Functional and Temporal Analysis of Concurrent Systems Текст./ A. Attieh, M. Brady, W. Knottenbelt, P.S. Kritzinger // Protocol Workshop, 16th International Conference on Theory and Application of Petri nets, Turin, June 1995.-P. 78-91.

106. Bernardinello, L., De Cindio F. A survey of Basic Net Models and Modular Net Classes Текст./ L. Bernardinello, F. De Cindio // LNCS, vol. 609. -Springer-Verlag, 1992.-P. 89-134.

107. Bondi, M. HYPERNET Текст./ M. Bondi//- Manuale Utente. DSI Univ. Stat. Milano, 1990. - 51 P.

108. Burns, F.PAnalysing superscalar processor architectures with coloured Petri nets Текст./ F.P Burns, A.M. Koelmans, A.V.Yakovlev // International Journal on Software Tools for Technology Transfer. Vol. 2. - Issue 2. — Springer-Verlag, 1998.-P. 182-191.

109. Damm, W. AADL: a net based specification method for computer architecture design Текст./ W. Damm, G. Dohmen // Languages for parallel architectures: design semantics and implementation models. John Wiley and sons, 1989.-P. 147-164.

110. Das, S.R. Adaptive protocols for parallel discrete event simulation Текст./ S.R Das//J. of the Operational Research Society. 2000. Vol. 51. P. 385 -394.

111. Goldberg, D.E. Genetic algorithms in search, optimization and machine learning Текст./ D.E. Goldberg // Adison Wesley, Reading, MA, 1989. 325P.

112. IEEE Std PI516. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Framework and Rules. N.Y.: Institute of Electrical and Electronics Engineers, Inc.,2000.1. J^T4

113. IEEE Std P1516.2. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Object Model Template (OMT) Specication. N.Y.: Institute of Electrical and Electronics Engineers, Inc., 2000.

114. IEEE Std P1516.3. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Federation Development and Execution Process. N.Y.: Institute of Electrical and Electronics Engineers, Inc., 2000.

115. Jensen, K. Coloured Petri Nets Текст./ К. Jensen// V. 1: Basic Concepts. Springer-Verlag, 1992. - 358P.

116. Jensen K. Coloured Petri Nets Текст./ К. Jensen//, V. 2: Analysis Methods. Springer-Verlag, 1994. - 41 IP.

117. Looney, C. Fuzzy Petri Nets for rule-based decision making Текст./ С. Looney/ЯЕЕЕ Trans. Systems, Man and Cybern. 1988. - Vol.18. - N 1. - P. 178183.

118. Petri, C. A. Kommunikation mit Automaten Текст./С.А. Petri// Schrifiten des Rheinisch-Westfalischen Institutes fur Instrumentelle Mathematik an der Universitat Bonn. -1962. Heft 2. - S. 53 - 142.

119. Reisig, W. Petri Nets, An Introduction: EATCS, Monographs on Theoretical Computer Science Текст./ W.Brauer, G. Rozenberg, A. Salomaa (Eds.). Springer-Verlag, 1985. - 213P.

120. Suzuki, I Three measures for synchronic dependence in Petri nets Текст./1. Suzuki, T. Kasami // «Acta Inf.» 1983. - 19, № 4. - P. 325-338.

121. Valk, R. Self-modifying nets, a natural extension of Petri nets Текст./ R.Valk// Lecture Notes in Сотр. Sci., vol. 62. Springer-Verlag, 1978. - P. 464-476.