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

• Published in: Управляющие системы и машины
• Date: 2012
• Main Author: Заболотна, А.С.
• Format: Article
• Language: Ukrainian
• Published: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
• Subjects: Программная инженерия и программные средства
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/83041
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня / А.С. Заболотна // Управляющие системы и машины. — 2012. — № 1. — С. 55-65. — Бібліогр.: 9 назв. — укр., рос.

Рассмотрены 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-специфікації розподілених систем з динамічним породженням та видаленням примірників процесів. Для них запропоновано метод трансляції в модифіковані кольорові мережі Петрі, в яких використовується концепція інтервального часу.