Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://ena.lp.edu.ua:8080/handle/ntb/22668
Назва: Метод трансляції SDL – специфікацій за допомогою мереж Петрі високого рівня
Автори: Заболотна, Анастасія
Бібліографічний опис: Заболотна А. Метод трансляції SDL – специфікацій за допомогою мереж Петрі високого рівня / Анастасія Заболотна // Комп'ютерні науки та інженерія : матеріали V Міжнародної конференції молодих вчених CSE-2011, 24–26 листопада 2011 р., Україна, Львів / Національний університет "Львівська політехніка". – Львів : Видавництво Львівської політехніки, 2011. – C. 42–45. – (3-й Міжнародний молодіжний фестиваль науки "Litteris et Artibus"). – Титульний аркуш та текст паралельно англійською. – Бібліографія: 6 назв.
Дата публікації: 2011
Видавництво: Видавництво Львівської політехніки
Теми: мережа Петрі
SDL
мережева модель
комунікаційний протокол
екземпляр процесу
Короткий огляд (реферат): Робота присвячена дослідженню проблеми автома- тичної побудови мережевих моделей SDL-специфікацій. Мова специфікацій та опису SDL прийнята в якості міжнародного стандарту. Розглядаються SDL-системи з таймерами, засобом збереження сигналу пріоритетами, що дозволяють адекватно представити значний клас комунікаційних протоколів. В якості моделей вибрані кольорові мережі Петрі, котрі розширюються за допомогою семантики часу та пріоритетів. В роботі описується метод трансляції SDL-систем в дану мережеву модель.
URI (Уніфікований ідентифікатор ресурсу): http://ena.lp.edu.ua:8080/handle/ntb/22668
Тип вмісту : Article
Розташовується у зібраннях:Комп'ютерні науки та інженерія (CSE-2011 ). – 2011 р.

Файли цього матеріалу:
Файл Опис РозмірФормат 
10-Zabolotna-42-45.pdf211,53 kBAdobe PDFПереглянути/відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.