Моделювання протоколу дистанційно-векторної маршрутизації для стека протоколів Е6 у вигляді розфарбованих сіток Петрі

Анотація

Розроблено протокол динамічної маршрутизації для мереж з перспективним стеком протоколів Е6 рівня автономних систем та магістралей BGP-E6. Надано специфікації базових алгоритмів у вигляді розфарбованих сітей Петрі. Моделювання процесів заповнення таблиць маршрутизації доводить коректність роботи протоколу.