Alves R and Margi C.
(2017). Behavioral Model of IEEE 802.15.4 Beacon-Enabled Mode Based on Colored Petri Net. ACM Transactions on Modeling and Performance Evaluation of Computing Systems. 2:4. (1-31). Online publication date: 31-Dec-2018.https://doi.org/10.1145/3115389