Behavioral model of IEEE 802.15.4 beacon-enabled mode based on colored Petri net - Alves, Renan Cerqueira Afonso; Margi, Cíntia Borges (ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 2017)