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

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