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

Veuillez utiliser cette adresse pour citer ce document : http://dspace.univ-tiaret.dz:80/handle/123456789/5515

Titre:	Etude de propriétés qualitatives du protocole :Bit Alterné avec les réseaux de Petri
Auteur(s):	NADJI, Louiza DEHMI, Kheira
Mots-clés:	Rdp, RdpT, Propriétés, TINA, Protocole du bit alterné
Date de publication:	2021
Editeur:	Université Ibn Khaldoun -Tiaret-
Résumé:	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).
URI/URL:	http://dspace.univ-tiaret.dz:80/handle/123456789/5515
Collection(s) :	Master

Fichier(s) constituant ce document :

Fichier	Description	Taille	Format
TH.M.INF.FR.2021.33.pdf		29,55 MB	Adobe PDF	Voir/Ouvrir