МЕТОД ПРЕОБРАЗОВАНИЯ МОДЕЛЕЙ ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ ПРЕДСТАВЛЕННЫХ В ФОРМЕ СЕТЕЙ ПЕТРИ
Journal Title: Наукові праці ОНАЗ ім. О.С. Попова - Year 2017, Vol 1, Issue 1
Abstract
Разработан метод преобразования моделей телекоммуникационных систем представленных в форме бесконечных сетей Петри в раскрашенные сети Петри. Метод предназначен для оценки временных и вероятностных характеристик телекоммуникационных сетей. Базовый фрагмент бесконечной сети используется как графический шаблон при формировании раскрашенных сетей, дальнейший процесс преобразования модели состоит в детализации атрибутов элементов сети, с помощью абстрактных типов данных и функций языка функционального программирования CPN ML. Модель дополняется измерительными фрагментами для оценки производительности и качества обслуживания сети. На основе предварительных оценок ограниченности, живости и безопасности систем, выполненных путем анализа бесконечных сетей Петри, сформированы средства оценки количественных характеристик поведения систем. Построение выполнено на примере преобразования модели прямоугольной вычислительной решетки. Использование раскрашенных сетей позволило уточнить численные характеристики процессов блокирования решетки с помощью рабочей нагрузки.
Authors and Affiliations
Tetiana Shmelyova
Keywords
Related Articles
- EP ID EP335027
- DOI -
- Views 97
- Downloads 0
THE INCREASE OF TRANSMISSION PROTECTION BASED ON MULTIPLEXING OF TIMER SIGNAL CONSTRUCTIONS
In the article the method for increasing the security of confidential information transmission based on multiplexing of timer signal structures is addressed. The feasibility of this study is justified by the need to ensu...
ИССЛЕДОВАНИЕ МАКСИМАЛЬНЫХ ЗНАЧЕНИЙ НАПРЯЖЕНИЙ В ИНВЕРТИРУЮЩИХ ПРЕОБРАЗОВАТЕЛЯХ ПОСТОЯННОГО НАПРЯЖЕНИЯ С ГРАНИЧНЫМ РЕЖИМОМ ФУНКЦИОНИРОВАНИЯ
Получены расчетные соотношения для определения влияния коэффициента трансформации дросселя на максимальные напряжения на силовых коммутирующих элементах импульсных преобразователей постоянного напряжения инвертирующего т...
ОПРЕДЕЛЕНИЕ ПРОТЯЖЁННОСТИ АБОНЕНТСКИХ И СОЕДИНИТЕЛЬНЫХ ЛИНИЙ ПРИ ПРОЕКТИРОВАНИИ СЕТИ ДОСТУПА С УЧЁТОМ ОСОБЕННОСТЕЙ НАСЕЛЁННОГО ПУНКТА
Приведён ряд аналитических выражений, которые позволяют определить протяжённость абонентских и соединительных линий, а также объём строительства канализационных сооружений для их монтажа на основе сведений о количестве м...
ОЦЕНКА ЭФФЕКТИВНОСТИ ПРОТОКОЛА ДИНАМИЧЕСКОЙ МАРШРУТИЗАЦИИ RIP РАСКРАШЕННОЙ СЕТЬЮ ПЕТРИ
В настоящей работе построены модели процедур, предусмотренных протоколом динамической маршрутизации RIP, и выполнена оценка их эффективности на моделях магистральных сетей. Модели построены в виде раскрашенных сетей Петр...
IMPROVING DYNAMICS OF OBJECTS INTERACTION IN LTE BASED WIRELESS NETWORK
This work analyses resource scheduling in LTE technology radio channel consider dynamics of terminal network objects interaction in real-time mode for multimedia data transmission over a packet-based network. It is concl...