Thèses en ligne de l'université 8 Mai 1945 Guelma

Conception et implémentation d’un simulateur pour les réseaux de Pétri réversibles

Afficher la notice abrégée

dc.contributor.author Keita, Namory
dc.date.accessioned 2023-11-23T11:13:27Z
dc.date.available 2023-11-23T11:13:27Z
dc.date.issued 2023
dc.identifier.uri http://dspace.univ-guelma.dz/jspui/handle/123456789/15002
dc.description.abstract La vérification formelle consiste à traduire le système, préalablement décrit dans un langage approprié, vers un modèle ”sémantique”, généralement un graphe d’états, sur lequel les propriétés de correction attendues sont vérifiées au moyen d’algorithmes spécifiques. Bien que limitée aux applications ayant un nombre fini d’états, cette approche est particulièrement utile dans les premières phases du processus de conception, permettant ainsi une détection rapide et économique des erreurs. La vérification formelle est fondée sur les trois éléments suivants : un langage de description du système (appelé modèle de spécification formelle), un modèle sémantique du parallélisme et un langage de spécification de propriétés. Les réseaux de Pétri réversibles ont été développés en tant que formalisme opérationnel pour la spécification des systèmes concurrents réversibles. Ils donnent une représentation dynamique d’un état du système par l’utilisation de jetons. Cette sous classe du réseau de Pétri a été utilisée avec succès pour modéliser une grande variété de systèmes industriels. L’objectif de ce présent travail, est de développer un outil qui nous permet de simuler un réseau de Pétri réversible avec des jetons distinctifs où chaque jeton est une ressource unique. en_US
dc.language.iso fr en_US
dc.publisher University of Guelma en_US
dc.subject Système réversible, Vérification formelle, Réseaux de Pétri récursives. en_US
dc.title Conception et implémentation d’un simulateur pour les réseaux de Pétri réversibles en_US
dc.type Working Paper en_US


Fichier(s) constituant ce document

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

Chercher dans le dépôt


Recherche avancée

Parcourir

Mon compte