Sites Inria

English version

Equipe de recherche PARAGRAPHE

Parallélisme et graphes

  • Responsable : Philippe Darondeau
  • Centre(s) de recherche : CRI Rennes - Bretagne Atlantique
  • Domaine : Réseaux et systèmes
  • Thème : Programmation distribuée et temps réel

Présentation de l'équipe

Paragraphe est un projet de l'UMR Irisa qui a pris fin en Juin 2001. Dans Paragraphe, nous avons étudié divers algorithmes de synthèse de réseaux de Petri, applicables à la parallélisation, à la distribution ou au contrôle de systèmes de transitions. L'objectif est de mettre à la disposition des ingénieurs qui ont à traiter ces problèmes des outils de résolution reposant implicitement sur l'algèbre linéaire, au coeur des réseaux de Petri, et qui fournit souvent des solutions effectives échappant à l'intuition. Nous avons aussi étudié, dans une perspective plus fondamentale, les représentations algébriques et logiques des réseaux de Petri et de leurs graphes de marquages, et accessoirement les propriétés des graphes à structure régulière, tels les graphes de transitions des automates à pile ou les structures d'événements associées aux réseaux de Petri saufs.

Axes de recherche

  • la réalisation des langages de scénarios par des réseaux de Petri distribuables,
  • la synthèse de contrôleurs asynchrones dans le contexte des réseaux de Petri,
  • l'instrumentation de la synthèse de réseaux,
  • la formalisation des réseaux de Petri dans le cadre de la logique linéaire.

Le projet est engagé sur ces thèmes dans le protocole de coopération franco-polonaise Catalysis (CNRS/IPIPAN).

Mots-clés : Réseau de petri Synthèse Graphe Régularité Réseau automodifiant Travail coopératif

Suivez Inria