Systèmes concurrents hiérarchiques : équivalence, analyse et structuration - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2023

Hierarchical concurrent systems : equivalence, analysis and structuring

Systèmes concurrents hiérarchiques : équivalence, analyse et structuration

Résumé

In the context of the verification of concurrent systems, we study Petri nets and one of their extensions, NUPNs (for “Nested-Unit Petri nets”), which provide them modularity and hierarchy through a structure of sequential processes, nested in the form of a tree. We propose various techniques to address several questions concerning Petri nets and NUPNs. First, we present approaches to decide efficiently the isomorphism of Petri nets and NUPNs.Then, we define algorithms to detect dead places and dead transitions, which enable the elimination of dead code, as well as algorithms to detect concurrent places, which provide information about the concurrency of nets. Finally, we tackle the automated translation of Petri nets into networks of communicating automata, into NUPNs with nested processes, or into different process algebras.These algorithms have been implemented and tested on large collections of nets from academia, industry, or stemming from international competitions.
Dans le cadre de la vérification des systèmes concurrents, nous étudions les réseaux de Petri et une de leurs extensions, les NUPN (acronyme anglais de « réseaux de Petri à unités imbriquées »), qui leur apportent modularité et hiérarchie par une structure en processus séquentiels, imbriqués sous la forme d’un arbre. Nous proposons diverses techniques permettant de résoudre plusieurs questions relatives aux réseaux de Petri et aux NUPN. D'abord, nous exposons des approches pour décider efficacement l'isomorphisme des réseaux de Petri et des NUPN. Puis, nous définissons des algorithmes pour détecter les places mortes et les transitions mortes, ce qui permet l'élimination du code mort, ainsi que des algorithmes pour détecter les places concurrentes, qui donnent des informations sur la concurrence des réseaux. Enfin, nous abordons la traduction automatisée des réseaux de Petri en réseaux d’automates communicants, en NUPN avec des processus imbriqués, ou en différentes algèbres de processus. Ces algorithmes ont été implantés et testés sur de grandes collections de réseaux d’origine académique, industrielle, ou provenant de compétitions internationales.
Fichier principal
Vignette du fichier
BOUVIER_2023_archivage.pdf (1.74 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-04412686 , version 1 (23-01-2024)

Identifiants

  • HAL Id : tel-04412686 , version 1

Citer

Pierre Bouvier. Systèmes concurrents hiérarchiques : équivalence, analyse et structuration. Calcul parallèle, distribué et partagé [cs.DC]. Université Grenoble Alpes [2020-..], 2023. Français. ⟨NNT : 2023GRALM045⟩. ⟨tel-04412686⟩
59 Consultations
26 Téléchargements

Partager

Gmail Facebook X LinkedIn More