https://oldena.lpnu.ua/handle/ntb/22668| Title: | Метод трансляції SDL – специфікацій за допомогою мереж Петрі високого рівня |
| Authors: | Заболотна, Анастасія |
| Bibliographic description (Ukraine): | Заболотна А. Метод трансляції SDL – специфікацій за допомогою мереж Петрі високого рівня / Анастасія Заболотна // Комп'ютерні науки та інженерія : матеріали V Міжнародної конференції молодих вчених CSE-2011, 24–26 листопада 2011 р., Україна, Львів / Національний університет "Львівська політехніка". – Львів : Видавництво Львівської політехніки, 2011. – C. 42–45. – (3-й Міжнародний молодіжний фестиваль науки "Litteris et Artibus"). – Титульний аркуш та текст паралельно англійською. – Бібліографія: 6 назв. |
| Issue Date: | 2011 |
| Publisher: | Видавництво Львівської політехніки |
| Keywords: | мережа Петрі SDL мережева модель комунікаційний протокол екземпляр процесу |
| Abstract: | Робота присвячена дослідженню проблеми автома- тичної побудови мережевих моделей SDL-специфікацій. Мова специфікацій та опису SDL прийнята в якості міжнародного стандарту. Розглядаються SDL-системи з таймерами, засобом збереження сигналу пріоритетами, що дозволяють адекватно представити значний клас комунікаційних протоколів. В якості моделей вибрані кольорові мережі Петрі, котрі розширюються за допомогою семантики часу та пріоритетів. В роботі описується метод трансляції SDL-систем в дану мережеву модель. |
| URI: | https://ena.lpnu.ua/handle/ntb/22668 |
| Content type: | Article |
| Appears in Collections: | Комп'ютерні науки та інженерія (CSE-2011 ). – 2011 р. |
| File | Description | Size | Format | |
|---|---|---|---|---|
| 10-Zabolotna-42-45.pdf | 211.53 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.