Petri nets as a means of modelling parallel algorithmic constructions of Ada language

Authors

  • Анна Миколаївна Парнюк Pukhov Institute for Modelling in Energy Engineering National Academy of Sciences of Ukraine, Ukraine

DOI:

https://doi.org/10.15587/2312-8372.2012.4780

Keywords:

Verification, Petri nets, models of parallel algorithms

Abstract

This work considered the modeling of specific algorithmic constructions of Ada language based on the terms of Petri nets and also their use for the purpose of automation verification of the parallel software

Author Biography

Анна Миколаївна Парнюк, Pukhov Institute for Modelling in Energy Engineering National Academy of Sciences of Ukraine

Graduate student

Department of Hybrid Modelling and Operating Systems in Energy

References

  1. Кузьмук, В.В. Модифицированные сети Петри и устройства моделирования параллельных процессов: монография [Текст] / В.В. Кузьмук, О.А. Супруненко. – К. : Маклаут, 2010. – 252 с. – ISBN 978-966-2200-07-2
  2. Онищенко, Б.О. Управляючі мережі Петрі, як засіб моделювання та автоматизованого аналізу алгоритмічних конструкцій [Текст] / Б.О. Онищенко, О.О. Супруненко // Вісник запорізького національного ун-ту – 2009. – № 1. – С.163–169.
  3. Супруненко, О. ЗАСОБИ АВТОМАТИЗОВАНОГО АНАЛІЗУ АЛГОРИТМІВ ПАРАЛЕЛЬНИХ ПРОГРАМ НА ОСНОВІ МОДИФІКАЦІЙ МЕРЕЖ ПЕТРІ [Текст] / Оксана Супруненко, Анна Парнюк // Східно-Європейський журнал передових технологій. – 2010. – T. 4, N 3(46). – С. 66-71. – Режим доступу : URL : http://journals.uran.ua/eejet/article/view/2952.
  4. Кузьмук В.В. Модифицированные сети Петри для формирования параллель¬ных процессов в системах управления [Текст] / В.В. Кузьмук, О.А. Супруненко // Восточно-Европейский журнал передовых технологий. – 2010. – № 6/8 (48). – С. 50–53. - ISSN 1729-3774
  5. Кузьмук В.В. Расширение функциональных возможностей алгоритмического аппарата сетей Петри при моделировании параллельных процессов [Текст] / В.В. Кузьмук, О.О. Супруненко. // Электронное моделирование. – 2009. – Т. 31. – № 5. – С. 65–73. – ISSN: 0204-3572
  6. Супруненко, О.О. Модифікація підсистем захисту інформації на основі мереж Петрі [Текст] / О.О. Супруненко // Вісник Національного технічного університету «ХПІ».: зб. наук. пр. Тематичний вип.: Нові рішення в сучасних технологіях. – Харків : НТУ «ХПІ», 2010. – № 57. – С. 173–177.
  7. Кузьмук, В. Класифікація мереж Петрі та приклади їх застосування для розв‘язання прикладних задач [Текст] / Валерій Кузьмук, Анна Парнюк, Оксана Супруненко // Східно-Європейський журнал передових технологій. – 2011. – T. 2, N 9(50). – С. 40-43. – Режим доступу : URL : http://journals.uran.ua/eejet/article/view/1855.
  8. Кузьмук, А.В. Применение управляющих сетей Петри для моделирования параллельных процессов с многовариантным выбором. [Текст] / А.В. Кузьмук, В.В. Кузьмук, О.А. Супруненко // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: зб. наук. пр. – К. : Век+, – 2011. – № 54. – С. 26–30. – ISSN 0135-1729.
  9. Кузьмук, В.В. Модифицированные сети Петри и современные методы моделирования параллельных процессов в сложных системах. [Текст] / В.В. Кузьмук, А.В. Кузьмук, О.А. Супруненко, Е.А Тараненко // Управління розвитком складних систем. – 2011. – № 5. – С. 66–72. – ISSN 2219-5300
  10. Кузьмук, В.В. Оценочные управляющие сети Петри. [Текст] / В.В. Кузьмук, О.А. Супруненко, А.В. Кузьмук // Управління розвитком складних систем. – 2011. – № 8. – С. 25-27. – ISSN 2219-5300

Downloads

How to Cite

Парнюк, А. М. (2012). Petri nets as a means of modelling parallel algorithmic constructions of Ada language. Technology Audit and Production Reserves, 4(1(6), 31–32. https://doi.org/10.15587/2312-8372.2012.4780

Issue

Vol. 4 No. 1(6) (2012): INTERNATIONAL SCIENTIFIC CONFERENCE. Management systems and processes

Section

Systems and Control Processes

License

Copyright (c) 2016 Анна Миколаївна Парнюк

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.