Etude de propriétés qualitatives du protocole :Bit Alterné avec les réseaux de Petri

Abstract

Les réseaux de Petri (Rdp) sont très connus pour la modélisation, l'analyse et la vérification des systèmes complexe. Plus-encore, leur aspect graphique et leur sémantique permettent de détecter facilement leurs propriétés les plus intéressantes (exp : les états accessibles, le blocage, … etc).Tina (Time Petri Net analyzer) étant un des plus puissants environnement logiciel d’analyse et de vérification des systèmes complexes basées sur les Rdp et développé au LAAS par B. Berthomieu et le groupe OLC.L’analyse et la vérification des protocoles de communication est une tâche tés importante car cela permet d’assurer fiabilité et sureté de fonctionnement des protocoles citons : le protocole du Bit Alterné (BAP).