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

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

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.

 


Keywords


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

References


Карпов А. Тестирование параллельных программ. [Электронный документ]. Режим доступа: http://www. viva64.com/content/articles/parallel-programming/?f=Parallel_program_testing_rus.html〈=ru&content=parallel-programming. Проверено: 14.07.2010.

Бородакий В.Ю., Окороченко Г.Е. Анализ средств имитационного моделирования распределённых информационных систем. // Компьютерные системы и технологии: Научная сессия МИФИ. – 2007. – Том 12. – С. 129-130.

Евгеньев Б.Г. Модели вместо алгоритмов. Смена парадигмы разработки прикладных систем. // Наука и образование. – 2005. – №9. – [Электронный документ]. Режим доступа: http://technomag.edu.ru/doc/56632.html. Проверено: 16.07.2010.

Голенков Е.А., Соколов А.С., Метод автоматического построения модели параллельной программы в терминах сетей Петри. // Вычислительные методы и программирование. – 2005. – Т6. – №2. – С. 77-82.

Кузьмук В.В., Супруненко О.О. Расширение функциональных возможностей алгоритмического аппарата сетей Петри при моделировании паралельных процессов. // Электронное моделирование. –2009.–Т.31.–№5.– С.65-73.

Кузьмук В.В. Методика алгоритмического описания и моделирования параллельных процессов управления. – К.: Наукова думка, 1981. – 56 с.

Вегнеp П. Пpогpаммиpование на языке Ада: Пеp. под pед. В.Ш.Каyфмана. – М.: Миp, 1983 - 256 с.

Федотов И.Е. Некоторые приемы параллельного программирования: Учебное пособие. – М.: Наука, 2008. – 188 с.

Супруненко О.О., Братко О.В. Сase-засоби автоматизованого аналізу програм на основі мереж Петрі. // Вісник Черкаського державного технологічного університету. – 2009. – № 3. – С. 12-15.


GOST Style Citations








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

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

ISSN (print) 1729-3774, ISSN (on-line) 1729-4061