Proposition d’une méthode alpha-réduit pour les réseaux de petri récursifs sous une sémantique de vrai parallélisme

dc.contributor.author	Ladouali, Rayene
dc.contributor.author	Bougandoura, Omran
dc.contributor.author	Bouneb, Messaouda
dc.date.accessioned	2022-11-15T02:40:54Z
dc.date.available	2022-11-15T02:40:54Z
dc.date.issued	2022
dc.description.abstract	Ce travail traite la spécification et la vérification formelles des systèmes concurrents dynamiques. Un modèle de réseau de Petri récursif sous une sémantique basée sur la maximalité est utilisé pour modéliser de tels systèmes. Le but de ce travail est de surmonter le problème de l'explosion combinatoire de graphe d'état. Comme solution, nous proposons un algorithme de génération à la volée d'un système de transitions étiquetées maximales (STEM en abrégé) modulo la relation de a-équivalence. L'intérêt de l'algorithme de réduction de l'espace d'état est mis en évidence en considérant la spécification d'un protocole de couche transport de la classe l'initiative à l'expéditeur. Les propriétés attendues du protocole sont vérifiées en considérant le STEM réduit, en utilisant l'outil développé mettant en oeuvre l'approche proposée.	ar
dc.identifier.uri	http://hdl.handle.net/123456789/14310
dc.language.iso	fr	ar
dc.publisher	Université Larbi Ben M'hidi Oum El Bouaghi	ar
dc.subject	Système concurrent	ar
dc.subject	Protocole de couche transport	ar
dc.subject	STEM réduit	ar
dc.title	Proposition d’une méthode alpha-réduit pour les réseaux de petri récursifs sous une sémantique de vrai parallélisme	ar
dc.type	Other	ar

Now showing 1 - 2 of 2

Now showing 1 - 1 of 1