Specifying dynamic routing protocol in a form of CPN
Loading...
Files
Date
2010
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво Львівської політехніки
Abstract
BGP-E6 dynamic routing protocol is developed for autonomous systems and back-bone networks based on innovative E6 protocol stack. Base algorithms specifications are presented in a form of Colored Petri Nets. Simulation of the model proves the protocol’s correctness.
Description
Keywords
E6 protocol stack, UA-E6, BGP-E6, CPN, specification, distance-vector routing
Citation
Litvin D. Specifying dynamic routing protocol in a form of CPN / Dmitry Litvin // Сучасні проблеми радіоелектроніки, телекомунікацій, комп'ютерної інженерії : матеріали ХХ Міжнародної конференції TCSET2010, присвяченої 165-й річниці заснування Національного університету «Львівська політехніка», 23–27 лютого 2010 року, Львів, Славське, Україна / Національний університет «Львівська політехніка». – Львів : Видавництво Львівської політехніки, 2010. – С. 215. – Bibliography: 4 titles.