Мережі Петрі як засіб моделювання механізму рандеву мови Ада

Автор(и)

  • Анна Миколаївна Парнюк Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України вул. Генерала Наумова, 15, м. Київ,Україна, 03164, Україна

DOI:

https://doi.org/10.15587/1729-4061.2012.4140

Ключові слова:

мова програмування Ада, мережі Петрі, моделі паралельних алгоритмів, механізм рандеву.

Анотація

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

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

Анна Миколаївна Парнюк, Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України вул. Генерала Наумова, 15, м. Київ,Україна, 03164

Аспірант

Відділення гібридних моделюючих та управляючих систем в енергетиці

Посилання

  1. Карпов, Ю.Г. Model Checking. Верификация параллельных и распределённых программных систем. [Текст] / Ю.Г. Карпов. – СПб.: БХВ-Петербург, 2010. – 560 с. – ISBN 978-5-9775-0404-1.
  2. Питерсон, Дж. Теория сетей Петри и моделирование систем. [Текст] / Дж. Питерсон. – М.: Мир, 1984.–264 c.
  3. Кузьмук, В.В. Модифицированные сети Петри и устройства моделирования параллельных процессов: монография / В. В. Кузьмук, О. А. Супруненко. – К. : Маклаут, 2010. – 252 с. – ISBN 978-966-2200-07-2.
  4. Гавва А. «Адское» программирование. Ada-95. Компилятор GNAT. [Електронний документ]. Режим доступу: http://adaru. org/V-0.4w/index.html. Перевірено: 18.07.2012.
  5. Ada Reference Manual ISO/IEC 8652:2007(E) Ed. 3. [Електронний документ]. Режим доступу: http://www.adapower.com/rm- 95/index.html. Перевірено: 18.07.2012.

##submission.downloads##

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

2012-10-09

Як цитувати

Парнюк, А. М. (2012). Мережі Петрі як засіб моделювання механізму рандеву мови Ада. Eastern-European Journal of Enterprise Technologies, 5(2(59), 26–30. https://doi.org/10.15587/1729-4061.2012.4140

Номер

Том 5 № 2(59) (2012): Інформаційні технології

Розділ

Інформаційні технології

Ліцензія

Авторське право (c) 2014 Анна Миколаївна Парнюк

Creative Commons License

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

Закріплення та умови передачі авторських прав (ідентифікація авторства) здійснюється у Ліцензійному договорі. Зокрема, автори залишають за собою право на авторство свого рукопису та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY. При цьому вони мають право укладати самостійно додаткові угоди, що стосуються неексклюзивного поширення роботи у тому вигляді, в якому вона була опублікована цим журналом, але за умови збереження посилання на першу публікацію статті в цьому журналі.

Ліцензійний договір – це документ, в якому автор гарантує, що володіє усіма авторськими правами на твір (рукопис, статтю, тощо).
Автори, підписуючи Ліцензійний договір з ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР», мають усі права на подальше використання свого твору за умови посилання на наше видання, в якому твір опублікований. Відповідно до умов Ліцензійного договору, Видавець ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР» не забирає ваші авторські права та отримує від авторів дозвіл на використання та розповсюдження публікації через світові наукові ресурси (власні електронні ресурси, наукометричні бази даних, репозитарії, бібліотеки тощо).
За відсутності підписаного Ліцензійного договору або за відсутністю вказаних в цьому договорі ідентифікаторів, що дають змогу ідентифікувати особу автора, редакція не має права працювати з рукописом.
Важливо пам’ятати, що існує і інший тип угоди між авторами та видавцями – коли авторські права передаються від авторів до видавця. В такому разі автори втрачають права власності на свій твір та не можуть його використовувати в будь-який спосіб.