Shmeleva, T. R. REENTERABLE MODEL OF RIP PROTOCOL IN COLORED PETRI NETS FORM. RIC 2017.