A timed petri net model for frame transmission on IEEE 802.15.4 beacon-enabled mode

Authors:
Renan C.A. Alves;Cíntia B. Margi
Affiliations:
Universidade de São Paulo, São Paulo, Brazil;Universidade de São Paulo, São Paulo, Brazil
Venue:
Proceedings of the 10th ACM symposium on Performance evaluation of wireless ad hoc, sensor, & ubiquitous networks
Year:
2013

Citing 5
Cited 0

Coloured Petri nets

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS

ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
Performance of IEEE 802.15.4 Beacon Enabled PAN with Uplink Transmissions in Non-Saturation Mode - Access Delay for Finite Buffers

BROADNETS '04 Proceedings of the First International Conference on Broadband Networks
Energy consumption trade-offs in power constrained networks

Energy consumption trade-offs in power constrained networks
Analysis of the contention access period of IEEE 802.15.4 MAC

ACM Transactions on Sensor Networks (TOSN)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The IEEE 802.15.4 standard is widely used in wireless sensor network applications. While previous work had attempted to model such protocol based on Petri nets, they focused on CSMA/CA, leaving aside the beacon mode implications. Our main contribution is to model the beacon enabled operation mode of the standard, by means of stochastic timed Petri nets. The model was evaluated using the PIPE tool and several metrics, such as throughput, loss rate and number of tries to send a frame, were assessed and compared to NS2 simulations for different scenarios. The results corroborate the model applicability.