RUSSIAN

Модель процедуры управления соединением в протоколе SIP в форме раскрашенных сетей Петри

By Кузьминых Е.Д.

Book information

Language
russian
Format
DOC
Filesize
483 kB (494592 bytes)
Pages
\0
Library
twirpx
Time added
2017-08-07 07:01:42
Связь и телекоммуникации;Телекоммуникации

Description

Протокол инициирования сеансов связи является протоколом сигнализации и предназначен для организации, модификации и завершения сеансов связи. Для управления соединением в протоколе используются транзакции. В статье рассмотрено функционирование протокола SIP на уровне транзакций. Построена модель процедуры управления соединением в SIP в форме раскрашенных сетей Петри и выполнена её декомпозиция на функциональные подсети. Для верификации корректности работы модели использованы инварианты сетей Петри. Получено значительное ускорение вычислений инвариантов при использовании метода декопмозиции.

Similar books