Наукові публікації університету

Проектування грід-структур на основі транзиційних систем з обгрунтуванням правильності їх функціонування

Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д.

ID: 191274
Кількість показів: 58
дата змінення: 08.12.2017 14:37:24
Ким змінено (ім'я): (rff12) Ірина Левицька
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  12
Рік видання:  2017
Звітний рік:  2017
Видання:  Кібернетика і системний аналіз
Том:  53
Випуск, частина:  1
Номери сторінок:  122-133
Галузь науки:  Інформатика
Автори,співробітники Університету:  Кривий Сергій Лук'янович / Бойко Юрій Володимирович / Погорілий Сергій Дем'янович / Борецький Олександр Францович / Глибовець Микола Миколайович
Кафедра / Відділ:  Інформаційних систем / Ком'ютерної інженерії
№ теми:  16КФ015-01 / 16КФ052-01
Посилання на статтю (посилання на рецензію в журналі (для монографій):  https://link.springer.com/article/10.1007/s10559-017-9911-0
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет радіофізики, електроніки та комп'ютерних систем / Факультет комп'ютерних наук та кібернетики

Повернення до списку

Вгору