Электронный архив НГУ

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

Показать сокращенную информацию

dc.contributor.author Белоглазов, Дмитрий Михайлович
dc.contributor.author Непомнящий, Валерий Александрович
dc.date.accessioned 2012-10-25T07:41:49Z
dc.date.available 2012-10-25T07:41:49Z
dc.date.issued 2008-12-16
dc.identifier.issn 1818-7900
dc.identifier.uri http://www.nsu.ru/xmlui/handle/nsu/113
dc.description.abstract Для моделирования, анализа и верификации телекоммуникационных систем обычно применяются такие модели, как конечные автоматы, сети Петри и их обобщения. Цель данной работы – представить новый двухуровневый метод моделирования и верификации телекоммуникационных систем. На первом этапе этого метода теле-коммуникационные системы моделируются в виде расширенных конечных автоматов, а на втором этапе автоматные модели транслируются в раскрашенные сети Петри. Данный метод применяется к исследованию проблемы взаимодействия функциональностей в телефонных сетях. В качестве примера рассматривается базовая модель звонков (Basic Call State Model) с дополнительными функциональностями. Для построения графов достижимости раскрашенных сетей Петри используется система CPN Tools, а для верификации методом проверки моделей используется система Petri Net Verifier. Описанные эксперименты позволили выявить некоторые нежелательные взаимодействия функциональностей в телефонных сетях. ru_RU
dc.language.iso ru ru_RU
dc.publisher Новосибирский государственный университет ru_RU
dc.subject телекоммуникационные системы ru_RU
dc.subject конечные автоматы ru_RU
dc.subject раскрашенные сети Петри ru_RU
dc.subject заимодействие функциональностей ru_RU
dc.subject телефонные сети ru_RU
dc.subject верификация ru_RU
dc.subject метод проверки моделей ru_RU
dc.title Моделирование и верификация взаимодействия функциональностей в телефонных сетях при помощи конечных автоматов и раскрашенных сетей Петри ru_RU
dc.title.alternative Modeling and Verification of Feature Interaction in Telephone Networks Using Finite Automata and Coloured Petri Nets en
dc.type Article ru_RU


Файлы в этом документе

Данный элемент включен в следующие коллекции

Показать сокращенную информацию