Публикация

Поделиться публикацией:

Опубликовано 2012-05-06 Опубликовано на SciPeople2012-08-21 10:37:07 ЖурналСхідно-Європейський журнал передових технологій

ЗАСОБИ АВТОМАТИЗОВАНОГО АНАЛІЗУ АЛГОРИТМІВ ПАРАЛЕЛЬНИХ ПРОГРАМ НА ОСНОВІ МОДИФІКАЦІЙ МЕРЕЖ ПЕТРІ

Оксана Олександрівна Супруненко, Анна Миколаївна Парнюк / Алина Селезнева ^{контактное лицо}

Оксана Олександрівна Супруненко, Анна Миколаївна Парнюк ЗАСОБИ АВТОМАТИЗОВАНОГО АНАЛІЗУ АЛГОРИТМІВ ПАРАЛЕЛЬНИХ ПРОГРАМ НА ОСНОВІ МОДИФІКАЦІЙ МЕРЕЖ ПЕТРІ // Східно-Європейський журнал передових технологій, Vol. 4, Issue 3, 2012, pp. 66-71

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