Pishdar, Mohammad, Seifi, Younes. “Modeling and evaluation of RPL routing protocol by colored Petri nets.” Journal of Information and Communication Technology, vol. 14, no. 53, 2023, pp. 24-37.