51.681.3
Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня / А. С. Заболотна //
УСиМ: Управляющие системы и машины : междунар. науч. журн. - . - N 1. - С. 55-61. - Бібліогр. наприкінці ст. - ISSN 0130-5395.
(Шифр в БД У481695/2012/1)
УДК
51.681.3

Ключові слова: засоби передачі та обробки інформації -- средства передачи и обработки информации -- телекомунікаційні технології -- телекоммуникационные технологии -- верифікація комунікаційних протоколів -- верификация коммуникационных протоколов -- автоматична верифікація -- автоматическая верификация -- розподілені асинхронні системи -- распределенные асинхронные системы --
Анотація:
Розглянуто SDL-специфікації розподілених систем з динамічним породженням та видаленням примірників процесів. Для них запропоновано метод трансляції в модифіковані кольорові мережі Петрі, в яких використовується концепція інтервального часу.
Рассмотрены SDL-спецификации распределенных систем с динамическим порождением и удалением экземпляров процессов. Для них предложен метод трансляции в модифицированные раскрашенные сети Петри, в которых используется концепция интервального времени.