@inproceedings{inproceedings68428339,
title   = {A timed Petri net model for frame transmission on IEEE 802.15.4 beacon-enabled mode},
author = {Alves, Renan Cerqueira Afonso and Margi, Cíntia Borges},
year = {2013},
doi = {10.1145/2507248.2507254},
publisher = {Acm},
booktitle   = {ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks}
}