Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня

Скорочена інформація про документ
dc.contributor.authorЗаболотна, А.С.
dc.date.accessioned2015-06-13T14:30:59Z
dc.date.available2015-06-13T14:30:59Z
dc.date.issued2012
dc.description.abstractРассмотрены SDL-спецификации распределенных систем с динамическим порождением и уничтожением экземпляров процессов. Для них предложен метод трансляции и модифицированные раскрашенные сети Петри, в которых используется концепция интервального времени.uk_UA
dc.description.abstractSDL-specifications of the distributed systems with dynamic generation end the removing of the examples of the process are considered. A method of the translation аnd the modified coloured Petri nets in with the concepts of the interval time is used are suggested for them.uk_UA
dc.description.abstractРозглянуто SDL-специфікації розподілених систем з динамічним породженням та видаленням примірників процесів. Для них запропоновано метод трансляції в модифіковані кольорові мережі Петрі, в яких використовується концепція інтервального часу.uk_UA
dc.identifier.citationМетод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня / А.С. Заболотна // Управляющие системы и машины. — 2012. — № 1. — С. 55-65. — Бібліогр.: 9 назв. — укр., рос.uk_UA
dc.identifier.issn0130-5395
dc.identifier.udc51.681.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/83041
dc.language.isoukuk_UA
dc.publisherМіжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН Україниuk_UA
dc.relation.ispartofУправляющие системы и машины
dc.statuspublished earlieruk_UA
dc.subjectПрограммная инженерия и программные средстваuk_UA
dc.titleМетод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівняuk_UA
dc.title.alternativeA Method of the Translation of SLD-Specifications Using the High-Level Petri Netsuk_UA
dc.title.alternativeМетод трансляции SDL-спецификаций с помощью сетей Петри высокого уровняuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
10-Zabolotnaya.pdf
Розмір:
391.57 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Управляющие системы и машины, 2012, № 1