Метод трансляції SDL – специфікацій за допомогою мереж Петрі високого рівня
Електронний науковий архів Науково-технічної бібліотеки Національного університету "Львівська політехніка"
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Метод трансляції SDL – специфікацій за допомогою мереж Петрі високого рівня
|
|
| Creator |
Заболотна, Анастасія
|
|
| Subject |
мережа Петрі
SDL мережева модель комунікаційний протокол екземпляр процесу |
|
| Description |
Робота присвячена дослідженню проблеми автома- тичної побудови мережевих моделей SDL-специфікацій. Мова специфікацій та опису SDL прийнята в якості міжнародного стандарту. Розглядаються SDL-системи з таймерами, засобом збереження сигналу пріоритетами, що дозволяють адекватно представити значний клас комунікаційних протоколів. В якості моделей вибрані кольорові мережі Петрі, котрі розширюються за допомогою семантики часу та пріоритетів. В роботі описується метод трансляції SDL-систем в дану мережеву модель. |
|
| Date |
2014-01-21T09:47:10Z
2014-01-21T09:47:10Z 2011 |
|
| Type |
Article
|
|
| Identifier |
Заболотна А. Метод трансляції SDL – специфікацій за допомогою мереж Петрі високого рівня / Анастасія Заболотна // Комп'ютерні науки та інженерія : матеріали V Міжнародної конференції молодих вчених CSE-2011, 24–26 листопада 2011 р., Україна, Львів / Національний університет "Львівська політехніка". – Львів : Видавництво Львівської політехніки, 2011. – C. 42–45. – (3-й Міжнародний молодіжний фестиваль науки "Litteris et Artibus"). – Титульний аркуш та текст паралельно англійською. – Бібліографія: 6 назв.
http://ena.lp.edu.ua:8080/handle/ntb/22668 |
|
| Language |
ua
|
|
| Format |
application/pdf
|
|
| Publisher |
Видавництво Львівської політехніки
|
|