Résumé:
Les réseaux de capteurs sans fil (RCSF) sont composés de dispositifs électroniques conçus pour la collecte des grandeurs physiques de l'environnement dans lequel ils sont déployés. Ces derniers ont fait naître d'énorme problème de recherche, de par les applications qu'ils permettent d'entrevoir et les nombreuses contraintes qu'ils supposent, la conservation d'énergie dans ces réseaux est très importante. Les capteurs que nous considérons sont alimentés par des batteries non rechargeables. Ainsi, la conservation de cette ressource très limité au niveau des næuds capteurs influe directement sur la durée de vie du RCSF. Afin de préserver l'énergie au niveau des neuds capteurs, nous proposons d'introduire la notion de vacance issue des modèles de file d'attente avec vacance dans leurs comportements. Dans un premier temps nous modélisons un seul neud capteur, puis deux nauds qui communiquent entre eux et par la suite on généralise pour la communication de plusieurs nauds vers un seul neud. Nous avons optés pour les Réseaux de Petri Stochastique Généralisé (RDPSG) comme outil de modélisation et d'évaluation des performances.
Mots clés : Les réseaux de capteurs sans fil (RCSF), les Réseaux de Petri Stochastique Généralisé (RdPSG), Service non exhaustif, conservation d'énergie, Evaluation des performances , Politique de vacance.
