FACILITIES OF AUTOMATED ANALYSIS ALGORITHMS OF PARALLEL ON THE BASIS OF MODIFICATION PETRI NET

Authors

  • Оксана Олександрівна Супруненко Кафедра інтелектуальних і інформаційних систем Черкаський національний університет імені Богдана Хмельницького, Ukraine
  • Анна Миколаївна Парнюк Кафедра математичного і програмного забезпечення автоматизованих систем Черкаський національний університет імені Богдана Хмельницького, Ukraine

DOI:

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

Keywords:

algorithmic design, parallel programs, modification of Petri nets, automated testing parallel programs

Abstract

This article discusses options for modeling algorithmic designs using modified Petri nets. The basis for constructing models of parallel programs to analyze and identify the critical properties, which is important when creating computer-aided testing of parallel software.

 

Author Biographies

Оксана Олександрівна Супруненко, Кафедра інтелектуальних і інформаційних систем Черкаський національний університет імені Богдана Хмельницького

Кандидат технічних наук, доцент

Анна Миколаївна Парнюк, Кафедра математичного і програмного забезпечення автоматизованих систем Черкаський національний університет імені Богдана Хмельницького

Магістр

References

  1. Карпов А. Тестирование параллельных программ. [Электронный документ]. Режим доступа: http://www. viva64.com/content/articles/parallel-programming/?f=Parallel_program_testing_rus.html&lang=ru&content=parallel-programming. Проверено: 14.07.2010.
  2. Бородакий В.Ю., Окороченко Г.Е. Анализ средств имитационного моделирования распределённых информационных систем. // Компьютерные системы и технологии: Научная сессия МИФИ. – 2007. – Том 12. – С. 129-130.
  3. Евгеньев Б.Г. Модели вместо алгоритмов. Смена парадигмы разработки прикладных систем. // Наука и образование. – 2005. – №9. – [Электронный документ]. Режим доступа: http://technomag.edu.ru/doc/56632.html. Проверено: 16.07.2010.
  4. Голенков Е.А., Соколов А.С., Метод автоматического построения модели параллельной программы в терминах сетей Петри. // Вычислительные методы и программирование. – 2005. – Т6. – №2. – С. 77-82.
  5. Кузьмук В.В., Супруненко О.О. Расширение функциональных возможностей алгоритмического аппарата сетей Петри при моделировании паралельных процессов. // Электронное моделирование. –2009.–Т.31.–№5.– С.65-73.
  6. Кузьмук В.В. Методика алгоритмического описания и моделирования параллельных процессов управления. – К.: Наукова думка, 1981. – 56 с.
  7. Вегнеp П. Пpогpаммиpование на языке Ада: Пеp. под pед. В.Ш.Каyфмана. – М.: Миp, 1983 - 256 с.
  8. Федотов И.Е. Некоторые приемы параллельного программирования: Учебное пособие. – М.: Наука, 2008. – 188 с.
  9. Супруненко О.О., Братко О.В. Сase-засоби автоматизованого аналізу програм на основі мереж Петрі. // Вісник Черкаського державного технологічного університету. – 2009. – № 3. – С. 12-15.

Downloads

Published

2010-07-30

How to Cite

Супруненко, О. О., & Парнюк, А. М. (2010). FACILITIES OF AUTOMATED ANALYSIS ALGORITHMS OF PARALLEL ON THE BASIS OF MODIFICATION PETRI NET. Eastern-European Journal of Enterprise Technologies, 4(3(46), 66–71. https://doi.org/10.15587/1729-4061.2010.2952

Issue

Vol. 4 No. 3(46) (2010): Control systems

Section

Control systems

License

Copyright (c) 2014 Оксана Олександрівна Супруненко, Анна Миколаївна Парнюк

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.

A license agreement is a document in which the author warrants that he/she owns all copyright for the work (manuscript, article, etc.).
The authors, signing the License Agreement with TECHNOLOGY CENTER PC, have all rights to the further use of their work, provided that they link to our edition in which the work was published.
According to the terms of the License Agreement, the Publisher TECHNOLOGY CENTER PC does not take away your copyrights and receives permission from the authors to use and dissemination of the publication through the world's scientific resources (own electronic resources, scientometric databases, repositories, libraries, etc.).
In the absence of a signed License Agreement or in the absence of this agreement of identifiers allowing to identify the identity of the author, the editors have no right to work with the manuscript.
It is important to remember that there is another type of agreement between authors and publishers – when copyright is transferred from the authors to the publisher. In this case, the authors lose ownership of their work and may not use it in any way.