МОДИФИЦИРОВАННЫЕ СЕТИ ПЕТРИ И СОВРЕМЕННЫЕ МЕТОДЫ МОДЕЛИРОВАНИЯ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ В СЛОЖНЫХ СИСТЕМАХ

Автор(и)

  • В. В. Кузьмук Київський національний університет будівництва і архітектури, Повітрофлотський пр. 31, м. Київ, Україна, 03680, Україна
  • А. В. Кузьмук
  • О. А. Супруненко
  • Е. А. Тараненко

DOI:

https://doi.org/10.32347/2412-9933.2011.5.%25p

Анотація

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

Біографія автора

В. В. Кузьмук, Київський національний університет будівництва і архітектури, Повітрофлотський пр. 31, м. Київ, Україна, 03680

Доктор технічних наук, професор

Кафедра основ інформатики

Посилання

Кузьмук В.В., Супруненко О.О. Модифицированные сети Петри и устройства моделирования параллельных процессов: Монография. – К.: Маклаут, 2010. – 260 с.

Карпов А. Введение в проблематику разработки параллельных программ. [Электронный документ]. Адрес: http://www.viva64.com/ru/a/0016/. Проверен:29.12.10.

Антонов А.С., Воеводин Вл.В. Эффективная адаптация последовательных программ для современных векторно-конвеерных и массивно-параллельных супер-ЭВМ. // Программирование. 1996, № 4, с. 37-51.

Карпов Ю.Г. Model Checking. Верификация параллельных и распределённых программных систем. – СПб.: БХВ-Петербург, 2010. – 560 с.

Petri C.A. Kommunikatoin mit Automaten. – Bonn: Institut für Instrumentelle Mathematik, 1962. – 89 p.

Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация, применение. – СПб: БВХ - Петербург, 2003. – 1104 с.

Kuzmuk V.V. Representation and Modeling of Parallel Control Processes by Means of Petri Nets. "Gordon and Breach" SP in United Kingd. Electronic Modeling, V.4(5), 1985, р. 1093-1108.

Kuzmuk V.V. Concurrent Algorithm construction and Optimization using Control Nets. Proc. 11-th IMACS World Congress on System simulation and scientific computation, 5-9 August, V3, 1985, Oslo, Norway, 1985, V.3, p.179-181.

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

W. Reisig. Petrinetze. Vieveg+Teubner Verlag, Wiesbaden GmBH, 2010,- 247 p.

Билякова Н.В., Кузьмук В.В., Супруненко О.А. Графоаналитическая модель биологического процесса на основе функционально-дифференциальных методов. // Матеріали XI конференції з біоніки, біокібернетики та прикладної біофізики. – К.: Вид. НТУУ «КПІ», 2010. –

С. 12.

Супруненко О.О. Модифікація підсистем захисту інформації на основі мереж Петрі. // Вісник Національного технічного університету «ХПІ». Збірник наукових праць. Тематичний випуск: Нові рішення в сучасних технологіях. – Харків: НТУ «ХПІ», 2010. - № 57. – С. 173-177.

##submission.downloads##

Опубліковано

2015-08-29

Як цитувати

Кузьмук, В. В., Кузьмук, А. В., Супруненко, О. А., & Тараненко, Е. А. (2015). МОДИФИЦИРОВАННЫЕ СЕТИ ПЕТРИ И СОВРЕМЕННЫЕ МЕТОДЫ МОДЕЛИРОВАНИЯ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ В СЛОЖНЫХ СИСТЕМАХ. Управління розвитком складних систем, (5). https://doi.org/10.32347/2412-9933.2011.5.%p

Номер

№ 5 (2011)

Розділ

Статті

Ліцензія

Авторське право (c) 2015 В. В. Кузьмук, А. В. Кузьмук, О. А. Супруненко, Е. А. Тараненко

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.