Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1993

Petri nets for the semantics and the implementation of parallel processes

Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles

Résumé

Dans la première partie de cette thèse, nous présentons une implémentation du langage fp2 ayant pour modèle les réseaux de Petri. Fp2 est un langage de programmation parallèle base sur la réécriture de termes et les spécifications algébriques. Nous donnons une nouvelle sémantique a fp2, de la famille des sémantiques du vrai parallélisme, et prouvons la correction de cette sémantique par rapport a la sémantique interleaving du langage. Le modèle utilise, les réseaux de Petri, et la nouvelle sémantique donnée au langage permettent une représentation plus compacte de programmes complexes, évitant les problèmes d'explosion combinatoire rencontres avec les implémentations précédentes. Nous évaluons le gain de notre approche, et proposons plusieurs schémas d'interprétation du langage, bases sur cette nouvelle sémantique. La seconde partie de ce travail concerne la définition d'une nouvelle famille d'équivalences comportementales pour les réseaux de Petri. Alors que les équivalences proposées jusqu'alors sont définies entre les marquages, c'est-a-dire entre les états globaux du réseau, nous définissons une relation entre les places du réseau, reprenant une idée proposée par olderog. De nouvelles équivalences, les bisimulations de places, sont proposées a partir de cette définition. Un algorithme efficace (polynomial) permettant de calculer la plus grande bisimulation de places sur un réseau est propose. Nous montrons comment simplifier un réseau en le quotientant par cette plus grande bisimulation, obtenant ainsi un représentant canonique d'une classe d'équivalence de réseaux bisimilaires de places. L'étude de ces équivalences est ensuite étendue aux réseaux avec actions internes
Fichier principal
Vignette du fichier
Autant.Cyril_1993_these.pdf (13.28 Mo) Télécharger le fichier

Dates et versions

tel-00343578 , version 1 (02-12-2008)

Identifiants

  • HAL Id : tel-00343578 , version 1

Citer

Cyril Autant. Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1993. Français. ⟨NNT : ⟩. ⟨tel-00343578⟩

Collections

UGA CNRS TDS-MACS
248 Consultations
99 Téléchargements

Partager

Gmail Facebook X LinkedIn More