Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня
|
|
| Creator |
Заболотна, А.С.
|
|
| Subject |
Программная инженерия и программные средства
|
|
| Description |
Рассмотрены SDL-спецификации распределенных систем с динамическим порождением и уничтожением экземпляров процессов. Для них предложен метод трансляции и модифицированные раскрашенные сети Петри, в которых используется концепция интервального времени.
SDL-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. Розглянуто SDL-специфікації розподілених систем з динамічним породженням та видаленням примірників процесів. Для них запропоновано метод трансляції в модифіковані кольорові мережі Петрі, в яких використовується концепція інтервального часу. |
|
| Date |
2015-06-13T14:30:59Z
2015-06-13T14:30:59Z 2012 |
|
| Type |
Article
|
|
| Identifier |
Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня / А.С. Заболотна // Управляющие системы и машины. — 2012. — № 1. — С. 55-65. — Бібліогр.: 9 назв. — укр., рос.
0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83041 51.681.3 |
|
| Language |
uk
|
|
| Relation |
Управляющие системы и машины
|
|
| Publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
|
|