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

Please use this identifier to cite or link to this item: http://dspace.univ-tiaret.dz:80/handle/123456789/5515

Full metadata record

DC Field	Value	Language
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
Appears in Collections:	Master

Files in This Item:

File	Description	Size	Format
TH.M.INF.FR.2021.33.pdf		29,55 MB	Adobe PDF	View/Open