Une méthodologie pour la simulation des réseaux de Petri en programmation logique concurrente

par Ahmed Naim

Thèse de doctorat en Génie informatique

Sous la direction de François Ropars.

Soutenue en 1996

à Brest .


  • Résumé

    L'objet de cette thèse est de proposer une méthodologie pour simuler les réseaux de Petri (RdP) en programmation logique parallèle. Cette approche a nécessité un langage de haut niveau, capable de préserver toutes les caractéristiques exprimées par un RdP telles que, le parallèlisme, la synchronisation et le non déterminisme. Nous avons retenu le langage Parlog en temps que modèle formel de base pour notre travail, où tout RdP peut être vu comme un ensemble de processus concurrents, qui communiquent et intéragissent par l'intermédiaire des flots de communication. Pour montrer la faisabilité de notre méthode, nous avons développé six prototypes pour simuler les RdP généralisés, à capacité, colorés, synchronisés, temporisés et interprétés. Chaque noyau a été validé pour simuler un système à connotation productique. Enfin, nous nous sommes inspirés de plusieurs recherches récentes pour modéliser l'interpréteur Parlog à l'aide d'un modèle dérivé des RdP (RdP prédicat / transition). Cela nous a permis de montrer l'équivalence des deux modèles et la correspondance directe entre les deux représentations

  • Titre traduit

    A methodology for Petri nets simulation in concurrent logic programming


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (195 p.)
  • Annexes : Bibliographie p.187-195

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bretagne Occidentale. Service commun de la documentation Section Droit-Sciences-STAPS.
  • Disponible pour le PEB
  • Cote : TBRB96/1
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.