Litvin, Dmitry2011-01-212011-01-212010Litvin D. Specifying dynamic routing protocol in a form of CPN / Dmitry Litvin // Сучасні проблеми радіоелектроніки, телекомунікацій, комп'ютерної інженерії : матеріали ХХ Міжнародної конференції TCSET2010, присвяченої 165-й річниці заснування Національного університету «Львівська політехніка», 23–27 лютого 2010 року, Львів, Славське, Україна / Національний університет «Львівська політехніка». – Львів : Видавництво Львівської політехніки, 2010. – С. 215. – Bibliography: 4 titles.https://ena.lpnu.ua/handle/ntb/7117BGP-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.enE6 protocol stackUA-E6BGP-E6CPNspecificationdistance-vector routingArticle