Pishdar, Mohammad, Seifi, Younes. Modeling and evaluation of RPL routing protocol by colored Petri nets. Journal of Information and Communication Technology. 2023;14(53):24-37. doi: