. Bibliographie, ZigBee Specification : ZigBee Standards Organization, 2006.

. B. Berthomieu and . Diaz-m, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, 1991.
DOI : 10.1109/32.75415

R. B. Berthomieu and . Vernadat-f, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, p.22, 2003.
DOI : 10.1137/0216062

. I. Computer-society, Std 802.15.4 T M -2003, Part 15.4 : Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low-Rate Wireless Personal Area Networks (LR- WPANs), IEEE Std, pp.802-817, 2003.

. J. Francomme, Propositions pour un protocole déterministe de contrôle d'accès et de routage avec économie d'énergie dans les réseaux ZigBee, Thèse de doctorat, 2008.

G. J. Gryn-o, Modelling and verification of security protocols for ad hoc networks using UPPAAL, 18th Nordic Workshop on Programming Theory (NWPT'06), 2006.

G. K. and A. D. Souquet-g, Sliding Time Interval based MAC Protocol and its Temporal Validation, th IFAC International Conference On Fieldbuses & Networks in Industrial Systems (FET'07), 2007.

L. M. Kristensen and . Jensen-k, Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad-hoc Networks ", Integration of software specification techniques for applications in engineering, LNCS, vol.3147, pp.248-269, 2004.

L. M. , Z. J. Liu-y, . Shao-h.-r, . Dai-h, and J. H. Zhang-j, Combined Beacon Scheduling, 2004.

V. T. Bossche-a, Développement et analyse multi outils d'un protocole MAC déterministe pour un réseau de capteurs sans fil ", Colloque francophone sur l'ingénierie des protocoles, 2008.

O. Wibling and P. J. Pears, Automatized Verification of Ad Hoc Routing Protocols, 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp.27-30, 2004.
DOI : 10.1007/978-3-540-30232-2_22

X. C. Murata-t and . Tsai-j, Modeling and simulation of routing protocol for mobile ad hoc networks using colored petri nets Application and theory of petri nets : formal methods in software engineering and defence systems, ACM International Conference on, vol.12, pp.145-153, 2002.