| DC Field | Value | Language |
|---|
| dc.contributor.author | Заболотна, Анастасія | - |
| dc.date.accessioned | 2014-01-21T09:47:10Z | - |
| dc.date.available | 2014-01-21T09:47:10Z | - |
| dc.date.issued | 2011 | - |
| dc.identifier.citation | Заболотна А. Метод трансляції SDL – специфікацій за допомогою мереж Петрі високого рівня / Анастасія Заболотна // Комп'ютерні науки та інженерія : матеріали V Міжнародної конференції молодих вчених CSE-2011, 24–26 листопада 2011 р., Україна, Львів / Національний університет "Львівська політехніка". – Львів : Видавництво Львівської політехніки, 2011. – C. 42–45. – (3-й Міжнародний молодіжний фестиваль науки "Litteris et Artibus"). – Титульний аркуш та текст паралельно англійською. – Бібліографія: 6 назв. | uk_UA |
| dc.identifier.uri | https://ena.lpnu.ua/handle/ntb/22668 | - |
| dc.description.abstract | Робота присвячена дослідженню проблеми автома-
тичної побудови мережевих моделей SDL-специфікацій.
Мова специфікацій та опису SDL прийнята в якості
міжнародного стандарту. Розглядаються SDL-системи з
таймерами, засобом збереження сигналу пріоритетами,
що дозволяють адекватно представити значний клас
комунікаційних протоколів.
В якості моделей вибрані кольорові мережі Петрі,
котрі розширюються за допомогою семантики часу та
пріоритетів. В роботі описується метод трансляції
SDL-систем в дану мережеву модель. | uk_UA |
| dc.language.iso | ua | uk_UA |
| dc.publisher | Видавництво Львівської політехніки | uk_UA |
| dc.subject | мережа Петрі | uk_UA |
| dc.subject | SDL | uk_UA |
| dc.subject | мережева модель | uk_UA |
| dc.subject | комунікаційний протокол | uk_UA |
| dc.subject | екземпляр процесу | uk_UA |
| dc.title | Метод трансляції SDL – специфікацій за допомогою мереж Петрі високого рівня | uk_UA |
| dc.type | Article | uk_UA |
| Appears in Collections: | Комп'ютерні науки та інженерія (CSE-2011 ). – 2011 р.
|
