T. R. Shmeleva, “REENTERABLE MODEL OF RIP PROTOCOL IN COLORED PETRI NETS FORM”, RIC, no. 4, Jan. 2017.