PARAGRAPHE (SR0271GR)

Parallélisme et graphes

PARAGRAPHE

Statut: Terminée

Responsable : Philippe Darondeau

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Réseaux et systèmes
Thème : Programmation distribuée et temps réel

Période : 01/01/1997 -> 31/12/2001
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de l'Université de Rennes
Localisation : Centre Inria de l'Université de Rennes
Code structure Inria :

Numéro RNSR : 199721454M
N° de structure Inria: SR0271GR

Présentation

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 cur 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

Relations industrielles et internationales