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

Affichage complet

Élément Dublin Core	Valeur	Langue
dc.contributor.author	NADJI, Louiza	-
dc.contributor.author	DEHMI, Kheira	-
dc.date.accessioned	2022-11-23T08:36:00Z	-
dc.date.available	2022-11-23T08:36:00Z	-
dc.date.issued	2021	-
dc.identifier.uri	http://dspace.univ-tiaret.dz:80/handle/123456789/5515	-
dc.description.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).	en_US
dc.language.iso	fr	en_US
dc.publisher	Université Ibn Khaldoun -Tiaret-	en_US
dc.subject	Rdp, RdpT, Propriétés, TINA, Protocole du bit alterné	en_US
dc.title	Etude de propriétés qualitatives du protocole :Bit Alterné avec les réseaux de Petri	en_US
dc.type	Thesis	en_US
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