ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ РАСПРЕДЕЛЕННОГО ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ УПРАВЛЯЮЩИХ СИСТЕМ БЕЗОПАСНОСТИ : ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ РОЗПОДІЛЕНОГО ІМІТАЦІЙНОГО МОДЕЛЮВАННЯ КЕРУЮЧИХ СИСТЕМ БЕЗПЕКИ

Краткое описание

НАЦИОНАЛЬНАЯ АКАДЕМИЯ НАУК УКРАИНЫ
ИНСТИТУТ ПРОБЛЕМ МАТЕМАТИЧЕСКИХ МАШИН И СИСТЕМ

На правах рукописи

СЕРАЯ АННА АНДРЕЕВНА

УДК 004.94, 004.75

ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ РАСПРЕДЕЛЕННОГО ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ УПРАВЛЯЮЩИХ СИСТЕМ БЕЗОПАСНОСТИ

Специальность 05.13.06 – информационные технологии

Диссертация на соискание ученой степени
кандидата технических наук

Научный руководитель
Казимир Владимир Викторович,
доктор технических наук, профессор

Киев – 2012

СОДЕРЖАНИЕ
СПИСОК УСЛОВНЫХ СОКРАЩЕНИЙ.. .. 5
ВВЕДЕНИЕ. . 6
РАЗДЕЛ 1 АНАЛИЗ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ МОДЕЛИРОВАНИЯ УПРАВЛЯЮЩИХ СИСТЕМ БЕЗОПАСНОСТИ И ПОСТАНОВКА ЗАДАЧ ИССЛЕДОВАНИЯ.. .. 13
1.1 Назначение, структура и особенности функционирования управляющих систем безопасности. . 13
1.1.1 Роль и место управляющей системы безопасности в структуре системы управления потенциально опасным объектом. . 14
1.1.2 Характеристика процессов функционирования и показателей оценки безопасности управляющих систем безопасности. . 15
1.2 Особенности моделирования управляющих систем безопасности. . 18
1.2.1 Задача моделирования управляющих систем безопасности. . 18
1.2.2 Требования к имитационным моделям управляющих систем безопасности. . 23
1.3 Анализ современных технологий распределенного имитационного моделирования. . 24
1.4 Анализ существующих подходов и методов формализации в моделировании управляющих систем безопасности. . 30
1.5 Анализ систем распределенного имитационного моделирования. . 37
1.6 Постановка задач исследования. . 40
1.7 Выводы по разделу. . 41
РАЗДЕЛ 2 РАЗРАБОТКА МЕТОДА ФОРМАЛИЗИРОВАННОГО ОПИСАНИЯ ИЕРАРХИЧЕСКИХ Е-СЕТЕЙ.. .. 43
2.1 Е-сети и их расширение на область распределенного моделирования              43
2.1.1 Структура Е-сетей. . 43
2.1.2 Динамика Е-сетей. . 45
2.1.3 Расширение Е-сетей для распределенного моделирования на основе архитектуры HLA.. .. 49
2.2 Разработка формального аппарата иерархических Е-сетей. . 53
2.3 Моделирование дискретно-непрерывных процессов. . 58
2.4 Описание федерации архитектуры распределенного моделирования HLA на основе иерархических Е-сетей. . 65
2.4.1 Определение элементов архитектуры распределенного моделирования HLA с помощью иерархических Е-сетей. . 65
2.4.2 Интеграция иерархических Е-сетей в архитектуру распределенного моделирования HLA.. .. 67
2.5 Выводы по разделу. . 69
РАЗДЕЛ 3 РАЗРАБОТКА АЛГОРИТМИЧЕСКИХ КОМПОНЕНТОВ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ ИНФОРМАЦИОННОЙ ТЕХНОЛОГИИ РАСПРЕДЕЛЕННОГО ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ.. .. 70
3.1 Архитектурные особенности системы распределенного моделирования    70
3.2 Структура ядра системы распределенного моделирования. . 73
3.3 Диаграммы классов системы распределенного моделирования. . 74
3.3.1 Классы пакета ядра. . 74
3.3.2 Классы пакета распределенного моделирования. .

Список литературы

В работе сформулирована и решена актуальная научно-практическая задача повышения эффективности моделирования управляющих систем безопасности за счет разработки информационной технологии распределенного имитационного моделирования на основе архитектуры высокого уровня HLA.
Главным результатом диссертации является разработанная информационная технология распределенного имитационного моделирования EMS, которая позволяет в режиме удаленного доступа в сети Internet создавать в графическом режиме легкие для восприятия и дальнейшего повторного использования распределенные модели дискретных и непрерывных процессов, а также проводить широкий спектр экспериментов с ними.
В ходе решения задач исследования были получены следующие научные и практические результаты, которые обеспечивают достижение поставленной цели – повышение эффективности моделирования управляющих систем безопасности потенциально-опасных объектов:
1.       На основе проведенного анализа систем безопасности и существующих методов моделирования сложных систем было установлено, что наиболее предпочтительным для моделирования управляющих систем безопасности является использование метода распределенного имитационного моделирования. Сравнительный анализ существующих подходов в распределенном моделировании позволил выбрать в качестве основы для разработки системы распределенного моделирования архитектуру высокого уровня HLA, выделить как преимущества, так и существующие ограничения ее применения.
2.       Обоснован выбор аппарата Е-сетей, как наиболее мощного расширения сетей Петри, в качестве базового средства построения формализованных моделей управляющих систем безопасности, который позволяет отображать не только потоки управления, но и потоки данных, предоставляет удобные механизмы маршрутизации развития процессов, значительно превосходит другие сетевые методы в реализации логических функций и проведении количественных оценок.
3.       Предложен формальный аппарат иерархических Е-сетей, который базируется на агрегативных Е-сетях, отличается наличием вложенных агрегатов и позволяет моделировать разнородные дискретно-непрерывные процессы функционирования управляющих систем безопасности в распределенной среде, сокращая время разработки моделей за счет повторного использования их элементов.
4.       Разработан метод интеграции иерархических Е-сетевых моделей на основе архитектуры высокого уровня HLA, основанный на применении разработанного соединительного модуля. Данный метод позволяет реализовать иерархическую схему использования федератов и применить универсальный подход к построению разнородных моделей, упрощая процесс их разработки специалистами предметной области.
5.       За счет применения вложенных агрегатов расширен формальный аппарат Е-сетей для обеспечения возможности моделирования непрерывных процессов, характерных для отдельных элементов управляющих систем безопасности.
6.       На основе стандарта PNML дано определение иерархических Е-сетей в виде XML-описаний, что позволило автоматизировать процесс построения программных моделей федератов.
7.       Разработана архитектура, реализованы алгоритмы и структурные компоненты HLA-ориентированной системы распределенного моделирования, которая отличается наличием графического веб-интерфейса для разработки иерархических Е-сетевых моделей, упрощая процесс их разработки и верификации за счет автоматического построения программных моделей.
8.       Разработана распределенная имитационная модель процесса функционирования управляющей системы безопасности технологического процесса при производстве газобетона, которая позволяет отображать динамику нарастания концентрации водорода в воздухе, определять параметры алгоритма управления, учитывая нестационарный характер процессов, а также предотвращать возникновение аварийных ситуаций, контролируя работу системы вентиляции.
9.       Проведена оценка производительности разработанной системы распределенного моделирования, которая показала, что дополнительные архитектурные элементы не влияют на скорость обмена данными, а применение сервисов синхронизации и алгоритмов передачи данных HLA позволяет сократить длительность моделирования на 6-8%.
10.  Разработанный формальный метод и программно-технологический инструментарий информационной технологии распределенного моделирования позволяют повысить эффективность моделирования управляющих систем безопасности за счет сокращения времени разработки и исследования моделей, что достигается возможностью повторного использования кода, применения автоматической верификации моделей, проведения разнородных экспериментов в распределенном режиме моделирования на основе архитектуры высокого уровня HLA.
11.  Использование графического режима построения имитационных моделей избавляет специалистов предметной области от необходимости изучения языков программирования и дает возможность привлечь их непосредственно к разработке моделей, что обеспечивает высокое качество разрабатываемых моделей, сокращает время и стоимость процесса разработки.
Разработанная веб-система распределенного моделирования EMS прошла регистрацию в Государственной службе интеллектуальной собственности Украины и доступна для использования по адресу: http://app.stu.cn.ua/ems.

1.                Заплатинский В.М. Терминология науки о безопасности. // Zbornik prispevkov z medzinarodnej vedeckej konferencie «Bezhecnostna veda a bezpecnostne vzdelanie». – Liptovsky Mikulas: AOS v Liptovskom Mikulasi. – 2006. – ISBN 80-8040-302-3.
2.                Белов П.Г. Теоретические основы системной инженерии безопасности. М.: ГНТП «Безопасность», 1996. – 424 с.
3.                НП-001-97 (ПНАЭ Г-01-011-97). Общие положения обеспечения безопасности атомных станций ОПБ-88/97. – М. : Госатомнадзор России, 1998. – 18с.
4.                Требования к управляющим системам, важным для безопасности атомных станций. НП-026-04 [Электронный ресурс]. – Режим доступа: http://www.gostrf.com/Basesdoc/45/45688/index.htm#i56755
5.                Бегун В.В. Культура безопасности в ядерной энергетике / В.В. Бегун, С.В. Широков, С.В. Бегун, Е.Н. Письменный, В.В. Литвинов, И.В. Казачков. – К., 2012. – 576 с.
6.                Мирошник Ю.М. Управляющая система безопасности АЭС / Мирошник Ю.М., Овчинников В.Н., Пелеганчук Ю.И., А.В. Пронякин [и др.] // Ядерные измерительно-информационные технологии. – М. : Издательский дом «Технологии», 2004. – №1 (9). – С. 17-29. – ISSN 1729-2689.
7.                Ігнатович М.В. Перспективи впровадження автоматизованої протиаварійної системи УТАС / М.В. Ігнатович, В.Г. Здановський // Інформаційний бюлетень з промислової безпеки. – 2009. – № 4 (16). – С. 19–21.
8.                Сіра Г.А. Синтетичне оточення систем інформаційної безпеки / Г.А. Сіра // Шоста міжвуз. наук.-практ. конф. «Техніко-технологічні та економіко-правові аспекти комплексної безпеки організації та розвитку підприємства і бізнесу», (Чернігів, 31 березня 2010 р.). – Чернігів, 2010. – С. 228-230.
9.                Казимир В.В. Технологія побудови синтетичного оточення систем інформаційної безпеки / В.В. Казимир., Г.А. Сіра, Д.О. Черних // Вісник Національного авіаційного університету. – 2010. – № 1. – С. 159-163. – ISSN 1813-1166.
10.           Александровская Л.Н. Статистические методы анализа безопасности сложных технических систем: Учебник / Л.Н. Александровская, И.З. Аронов, А.И. Елизаров; под. ред. В.П. Соколова. – М. : Логос, 2001. – 232 С.
11.           Хенли Э. Дж., Надежность технических систем и оценка риска / Э. Дж. Хенли, Х. Кумамото // Пер. с англ. – М.: «Машиностроение», 1984. – С. 528.
12.           Литвинов В.В. Модельно–ориентированное управление как стратегия функционирования интеллектуальных производственных систем / Виталий Васильевич Литвинов, Владимир Викторович Казимир // Математические машины и системы.– 2004.– №.4– С. 143–156.
13.           Советов Б. Я. Моделирование систем: Учеб. для вузов; 3-е изд., перераб. и доп. / Б. Я. Советов, С. А. Яковлев. – [2-е изд.]. – М. : Высш. шк., 2001. – 343 с.
14.           Шеннон Р. Имитационное моделирование систем – искусство и наука / Р. Шеннон. – М., 1986. – 418 с.
15.           Третьяков Алексей Иванович Методика построения структур информационно-управляющих систем обеспечения пожарной безопасности объектов автомобильной промышленности : дис. канд. техн. Наук : 05.13.10 / Третьяков Алексей Иванович. – М., 2001. – 193 с. – Библиогр. : С. 175-190.
16.           Kazachkov I.V. Modelling of Potentially Hazardous Objects with Time Shifts / I.V. Kazachkov, Ye.V. Chesnokov, O.M. Kazachkova // WSEAS Trans. on Business & Economics. – 2004. – Issue3, №1. – Р. 37-43.
17.           Allen P.M. Evolution, Population Dynamics and Stability / P.M. Allen // Proceedings of the National Academy of Sciences of the USA. – 1976. – March. – Vol.73. – No.3. – P.665-668.
18.           Джамшид Гараханлу Разработка и исследование агрегированных математических моделей ядерных объектов со сдвинутыми аргументами / Джамшид Гараханлу, И.В. Казачков // Ядерна та радіаційна безпека. – 2012.– №.2 (54) – С. 36-41.
19.           Лоу А. Имитационное моделирование. Классика СS, 3-е изд. / А. Лоу, В. Кельтон. – СПб.: Питер; Киев: Издательская группа BHV, 2004. – 847c.
20.           Томашевський В.М. Моделювання систем / В.М. Томашевський. – К. : Видавнича группа BHV, 2005. – 352с.
21.           Стеценко І.В. Моделювання систем: навч. посіб. / І.В. Стеценко; М-во освіти и науки України, Черк. держ. технол. ун-т. – Черкаси: видавництво „Маклаут”, 2011. – 502 с.
22.           Прицкер А. Введение в имитационное моделирование и язык СЛАМ II / А. Прицкер // – М.: Мир, 1987. – 646 с.
23.           Олзоева С.И. Распределенное моделирование в задачах разработки АСУ / С.И. Олзоева. – Улан-Удэ : изд-во ВСГТУ, 2005 – 219 с. – ISBN 5-89230-184-2.
24.           Миков А.И. Инструментальные средства удаленного параллельного моделирования / А.И. Миков, Е.Б. Замятина, А.Н. Фирсов // ХХІІ International Conference “Knowledge-Dialogue-Solution”. – Sofia, 2006. – P. 280-287.
25.           Танненбаум Э. Распределенные системы. Принципы и парадигмы / Э. Танненбаум, Стеен ван М. // – СПб.:Питер, 2003. – 877 с.
26.           Цимбал А.А. Технологии создания распределенных систем / А.А. Цимбал, М.Л. Аншина. – СПб.: Питер, 2003. – 576 с.
27.           Catalog of OMG CORBA / IIOP Specifications [Электронный ресурс]. – Режим доступа: http://www.omg.org/technology/documents/corba_spec_ catalog.htm
28.            Remote Method Invocation (RMI) [Электронный ресурс]. – http://java.ociweb.com/mark/JavaUserGroup/JavaRMI.pdf
29.           Microsoft Corporation The Component Object Model Specification // Version 0.9. – October 24, 1995. – 325 p.
30.           Sun Microsystems Enterprise JavaBeans // Version 2.0. – March 21, 1998. – 558 p.
31.           Ferguson J. C# Bible / Ferguson J., Patterson B., Beres J. // – Wiley, 2002. – 591 p.
32.            Buss A. Distributed simulation modeling: a comparison of HLA, CORBA, and RMI / Arnold Buss, Leroy Jackson // Proceedings of the Winter Simulation Conference. – 1998. – 819-825 p.
33.           IEEE 1516.3-2003 Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) – Development and Execution Process (FEDEP) [Электронный ресурс]. – Режим доступа: http://standards.ieee.org/findstds/ standard/1516.3-2003.html
34.           IEEE 1516.1 Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) – Federate Interface Specification [Электронный ресурс]. – Режим доступа: http://simlab.gyte.edu.tr/docs/IEEE%20Std%201516.1-2000.pdf
35.           IEEE 1516.2-2010 Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) – Object Model Template (OMT) Specification [Электронный ресурс]. – Режим доступа: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp? punumber=5557729
36.           Fujimoto R. M. Parallel and Distributed Simulation Systems / Richard M. Fujimoto. – John Wiley & Sons, Inc., 2000. – 300 p.
37.           Замятина Е.Б. Современные теории имитационного моделирования. Специальный курс / Е.Б. Замятина // Пермский государственный университет. Учебное пособие, 2007. – 119 с.
38.           Афанасьев А.П. Современные технологии построения распределенных программных систем / А.П. Афанасьев, А.И. Ваньков, В.В. Волошинов, В.Е. Кривцов, Е.Ю. Попков, П.Г. Шляев // Проблемы системного анализа и управления: Сборник трудов ИСА РАН.: Москва, 2001. – С.115-180.
39.           Окольнишников В.В. Представление времени в имитационном моделировании / В.В. Окольнишников // Вычислительные технологии. – 2005. – Т. 10, № 5. – С. 57–80.
40.           IEEE 1278 Distributed Interactive Simulation (DIS) [Электронный ресурс]. – Режим доступа: http://www.sisostds.org/DesktopModules/ Bring2mind/DMX/ Download.aspx?Command=Core_Download&EntryId=29289&PortalId=0&TabId=105
41.           Fujimoto R.M. Time Management in the High Level Architecture / R.M. Fujimoto // SIMULATION Special Issue on High Level Architecture, 1998. – vol. 71. – №6. – 388-400 p.
42.            D’Ambrogio A. Using CORBA to enhance HLA interoperability in distributed and web-based simulation / A. D’Ambrogio, D. Gianni [Электронный ресурс]. – Режим доступа: http://www.sel.uniroma2.it/pubs/2004-iscissim.pdf
43.           Лычкина Н.Н. Современные технологии имитационного моделирования и их применение в информационных бизнес-системах и системах поддержки принятия решений. Материалы второй всероссийской научно-практическая конференция по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» ИММОД-2005: Санкт-Петербург, 19-21 октября 2005 : сборник докладов [Электронный ресурс] / Н.Н Лычкина. – Режим доступа: htpp://www.gpss.ru
44.           Сайт, посвященный моделированию на языке GPSS [Электронный ресурс]. – Режим доступа: http://gpss.ru/
45.           Сайт системы моделирования ExtendSim [Электронный ресурс]. – Режим доступу: www.extendsim.com
46.           Антипина Г. Arena – система имитационного моделирования [Электронный ресурс] / Г. Антипина, А. Ярцев. – Режим доступа: http://interface.ru/sysmod/arena.htm
47.           Сайт системы моделирования ProModel [Электронный ресурс]. – Режим доступа: www.promodel.com
48.           Сайт системы моделирования WITNESS [Электронный ресурс]. – Режим доступа: http://www.iteam.ru/soft/modelling/993/
49.           Сайт разработчиков системы flexsim [Электронный ресурс]. – Режим доступа: http://www.flexsim.com/
50.           Описание системы моделирования GPSS/H [Электронный ресурс]. – Режим доступа: http://www.iteam.ru/soft/modelling/990/
51.           Сайт центра имитационного моделирования [Электронный ресурс]. – Режим доступа: htpp://simulation.org.ua
52.           Толуев Ю. Основные характеристики пакета имитационного моделирования eM-Plant [Электронный ресурс] / Ю. Толуев. – Режим доступа: http://gpss.ru/paper/tolujewem/index_w.html
53.           Семишин Ю.А. ДАСИМ как инструментальное средство моделирования дискретных систем / Ю.А. Семишин, О.В. Литвинова // Технология и конструирование в электронной аппаратуре. – Одесса: Политехпериодика, 2000. – № 2-3. – С. 21-25.
54.           Balci O. Visual Simulation Environment technology transfer [Электронный ресурс]/ O. Balci, A.I. Bertelrud, C.M. Esterbrook, R.E.Nance // Proceedings of the 1998 Winter Simulation Conference. – N.Y.: ACM Press, 1998. – P.1323-1329. – Режим доступа: http://portal.acm.org/citation.cfm?id=268778
55.           Котов В.Е. Сети Петри / В.Е. Котов. – М.: Наука,1984. – 160 с.
56.           Сайт разработчиков системы POSES++ [Электронный ресурс]. – Режим доступа: http://www.gpc.de
57.           Стеценко І.В. Система імітаційного моделювання засобами сіток Петрі / І.В. Стеценко, О.В. Бойко // Математичні машини і системи. – Київ, 2009. – №1. – С. 117-124.
58.           Сайт системы моделирования WINSIM [Электронный ресурс]. – Режим доступа: ftp://cmpe2.emu.edu.tr/SimSystem
59.           Сайт, посвященный программной оболочке ARIS [Электронный ресурс]. – Режим доступа: www.vest.msk.ru/product/aris/default.asp
60.           Черемных С.В. Структурный анализ систем: IDEF-технологии / С.В. Черемных, И.О. Семенов, В.С. Ручкин // М.: Финансы и статистика, 2003. – 208 с.
61.           Сайт системы моделирования AnyLogic [Электронный ресурс]. – Режим доступа: www.anylogic.com
62.           Карпов Ю.Г. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5 / Ю.Г Карпов. – СПб. : «БХВ-Петербург», 2005. – 400 с.
63.           Сайт разработчиков системы powersim [Электронный ресурс]. – Режим доступа: http://www.powersimsolutions.com/technology/studio. htm
64.           Сайт разработчиков системы vensim [Электронный ресурс]. – Режим доступа: http://www.vensim.com
65.           Сайт разработчиков системы Stella [Электронный ресурс]. – Режим доступа: www.iseesystems.com/softwares/Education/StellaSoftware.aspx
66.           Описание системы моделирования Ithink [Электронный ресурс]. – Режим доступа: http://www.iteam.ru/soft/modelling/965/
67.            Гиниятуллин Р. Г. Технологии создания приложений в модельной среде / Р.Г. Гиниятуллин [Електронний ресурс]. – Режим доступа: http://gpss.ru/paper/giniyatullin/index_w.html
68.            Рябинин И.А. Надежность и безопасность структурно-сложных систем. – СПб. : Политехника, 2000. – 248 с. – ISBN 5-7325-0549-0.
69.            Рябинин И.А. Логико-вероятностные методы исследования надежности структурно-сложных систем / И.А. Рябинин, Г.Н. Черкесов. – М. : Радио и связь, 1981. – 264 с.
70.            Можаев А.С. Современное состояние и некоторые направления развития логико-вероятностных методов анализа систем. Часть-I // Теория и информационная технология моделирования безопасности сложных систем. Вып.1. Под редакцией И.А. Рябинина. Препринт 101. – СПб.: ИПМАШ РАН. – 1994. – С. 23-53.
71.            Можаев А.С. Теоретические основы общего логико-вероятностного метода автоматизированного моделирования систем / А.С. Можаев, В.Н. Громов. – СПб. ВИТУ, 2000. – 145с.
72.           Гнеденко Б.В. Введение в теорию массового обслуживания / Б.В Гнеденко, И.Н. Коваленко. – М. : Наука, 1987. – 336 с.
73.           Жерновий Ю.В. Марковські моделі масового обслуговування: Тексти лекцій / Ю.В.Жерновий. – Львів : Видавничий центр ЛНУ імю Івана Франка, 2004. – 154 с.
74.           Клейнрок Л. Теория массового обслуживания / Л. Клейнрок. – М. : Машиностроение, 1979. – 425 с.
75.           Сильвестров Д.С. Полумарковские процессы с дискретным множеством состояний. – М. : Сов. радио, 1980. – 272 с.
76.           Поспелов Д.А. Ситуационное управление: теория и практика. – М. : Наука, 1986. – 228 С.
77.           Лазарев В.А. Управление процессами и ресурсами в распределенных системах / В.А. Лазарев, В.Г. Черняев. – М. : Наука, 1989. – 172 с.
78.           Абчук В.А. Управление в гибком производстве / В.А. Абчук, Ю.С. Карпенко // М. : Радио и связь, 1990. –128 с.
79.           Слепцов А.И. Автоматизация проектирования управляющих систем гибких автоматизированных производств / А.И. Слепцов, А.А. Юрасов. – К. : Техніка, 1986.–110 с.
80.           Питерсон Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. – М. : Мир, 1984. – 264 с.
81.           Reising W. Petri Nets: An Introduction / W. Reising. – Verlag : Springer, 1985. – 161 р.
82.           Brauer W. Petri Nets: Central Models and their Properties / W. Brauer, W. Reising, G. Rozenberg. – Berlin : Springer, 1987. – 480 p.
83.           Zuburek W.M. Timed Petri Nets and Preliminary Performance Evaluation / W.M. Zuburek // Proc. EEE 7th. Annual. Symp. On Computer Architecture, 1980. – P. 88–95.
84.           Jensen K. Coloured Petri Nets and the Invariant Methods / K. Jensen // Theoretical Computer Science. – 1981. – Vol. 14. – P. 317–336.
85.           Никонов В.В. Применение сетей Петри / В.В. Никонов, Ю.Е. Подгурский // Зарубежная радиоэлектроника. – 1986. – N11. – C. 17–37.
86.           Kramer B. Types and Modules for Net Specifications / B. Kramer, H. Schmidt // In K. Jensen and G. Rozeberg, editors, High–Level Petri Nets: Theory and Application. – Springer, 1991. – P. 171–188.
87.           Nutt G.J. Evaluation Nets for Computer Systems Performance Analysis ns / G.J. Nutt // FJCC, AFIPS PRESS. – 1972. – Vol. 41. – P. 279–286.
88.           Noe J.D. Makro E–Nets for representationof Parallel System. / J.D. Noe, G.J. Nutt // IEEE Trans. on Comp. – 1973. – Vol.C–22, N 8. – P.718–727.
89.           Noe J.D. Nets in Modeling and Simulation / J.D. Noe, W. Brauer // Net Theory and Applications. – Berlin: Springer, 1980. – P. 347–368.
90.           Казимир В.В. Методы и средства моделирования компьютерных атак / Владимир Викторович Казимир, Анна Андреевна Серая // Міжнар. наук. конф. «Інтелектуальні системи прийняття рішень і проблеми обчислюваного інтелекту ISDMCI’2010», (Євпаторія, 17–21 травня 2010 р.). – Євпаторія, 2010. – Т.1. – С. 439-441.
91.           Казимир В.В. Метод построения моделей информационных атак / Владимир Викторович Казимир, Анна Андреевна Серая // Математичні машини і системи. – 2010. – № 4. – С. 52-61. – ISSN 1028-9763.
92.           Казимир В.В. Построение моделей информационных атак на основе управляющих Е-сетей и многоагентного управления / В.В. Казимир, А.А. Серая, И.Б. Гавсиевич // П’ята наук.-практ. конф. з міжнар. Уч. «Математичне та імітаційне моделювання систем. МОДС’2010», (Київ, 21–25 червня 2010 р.). – Київ, 2010. – С. 269-271.
93.           Пранявичюс Г.И. Модели и методы исследования вычислительных систем / Г.И. Пранявичюс. – Вильнюс : Мокслас, 1982. – 238 с.
94.           Головин Ю.А. Использование расширений сетей Петри для спецификации протоколов / Ю.А. Головин, В.А. Матвеева // Автоматика и вычислительная техника. – 1988. – № 6. – С. 11–17.
95.           Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В.В. Васильев, В.В. Кузьмук. – К. : Наукова думка, 1990. – 216 с.
96.           Костин А.Е. Организация и обработка структур данных в вычислительных системах / А.Е. Костин, В.Ф. Шаньгин. – М. : Высш. школа, 1987. – 248 с.
97.           Milner R. Communication and Concurrency / R. Milner. – Prentice Hall, 1989. – 260 p.
98.           Казимир В.В. Модельно-ориентированное управление интеллектуальными производственными системами: дис. доктора техн. наук: 05.13.06 / В.В. Казимир. – К., 2006. – 301 с. – Библиогр. : с.302-328.
99.           Костин А.Е. Модели и алгоритмы организации распределенной обработки данных в информационно–управляющих системах: дис. докт. техн. наук: 05.13.01 / А.Е. Костин. – М.: МИЭТ, 1989. – 420 с. – Библиогр. : с.398-418.
100.      Филлипс Д. Методы анализа сетей / Д. Филлипс, А. Гарсиа-Диас. – М. : Мир, 1984.–496 c.
101.      Рожнов О.М. Анализ методов спецификации и верификации компонентов распределенных приложений / О.М. Рожнов // Проблемы программирования. – 1998. – Вып.4. – С. 93–101.
102.      Rice M.D. A Formal Model for Module Interconnection Language / M.D. Rice, S.B. Seidman // IEEE Trans. of Software Eng. – 1994. – 20, N 1. – P. 88–101.
103.      Saiman S. A Theory of Interface Sand Module 1 – Compos. Theorem / S. Saiman, Lem Salley // Ibid. – 1994. – P. 55–71.
104.      Лаврищева Е.М. Сборочное программирование / Е.М. Лаврищева, В.Н. Грищенко. – Киев : Наукова думка, 1991. – 213 с.
105.      Fujimoto R. M. Georgia Tech Time Warp (GTW Version 3.1) Programmer’s Manual for Distributed Network of Workstations / Richard M. Fujimoto , Ranjan Das Samir , Kiran S. Panesar , Maria Hybinette, Christopher D. Carothers // CC Technical Report; GIT-CC-97-18, 1997. – 35p.
106.      Томашевский В.М. Архитектура распределенной дискретной системы имитационного моделирования OpenGPSS / В.М. Томашевский, Д.Г. Диденко // Системные исследования и информационные технологии. – 2006. – №4. – С. 123-132
107.      Сайт системы распределенного моделирования SPEEDES [Электронный ресурс]. – Режим доступа: http://www.speedes.com/
108.      Мальков П.С. Применение имитационной системы Triad.net для реинжиниринга бизнес-процессов / П.С. Мальков // Вестник Пермского университета. Серия: Математика. Механика. Информатика. – 2009. – №3. – С. 144 – 147.
109.      Mascarenhas E., Knop F., Vernon R. ParaSol: A multithreaded system for parallel simulation based on mobile threads / E. Mascarenhas, F. Knop, R. Vernon // Proceeding of the 27-th conference on Winter simulation – Arlington. Virginia, 1995. – Р. 690–697.
110.      Mascarenhas E. A parallel GPSS based on ParaSol simulation system / E. Mascarenhas, F. Knop, R. Vernon // Proceeding of the 28-th conference on Winter simulation – Arlington. Virginia, 1996. – Р. 801–808.
111.      Галаган Т.Н. Oдин подход к автоматизации построения распределенной модели из ее сосредоточенного аналога / Т.Н Галаган, В.В. Гусев, Т.П. Марьянович, Н.М. Яценко // Проблемы программирования, 2002. – №1-2 (спецвыпуск). – С.182-197
112.      Borshchev А. Distributed Simulation of Hybrid Systems with AnyLogic and HLA [Электронный ресурс] / А. Borshchev, Y. Karpov, V. Kharitonov. – Режим доступа: http://www.xjtek.com/anylogic/articles/?page=all&
113.       Сайт библиотеки для распределенного моделирования на основе архитектуры HLA в системе MATLAB: HLA Toolbox for MATLAB [Электронный ресурс]. – Режим доступа: http://www.mathworks.com/products/connections/ product_detail/product_35843.html
114.      Казимир В.В. Сучасні проблеми та тенден