Techniques d'abstraction pour l'analyse et la synthèse de réseaux de Petri

Le croisement de concepts issus de la logique, de la recherche opérationnelle et de ï'automatique discrète nous .permet de nous intéresser au problème de l'explosion combinatoire sous des angles d'attaque nouveaux, pour proposer finalement un ensemble de techniques d'abstraction pour l'analyse et la synthèse de réseaux de Petri. Pour l'analyse, nous proposons une abstraction du comportement des RdPs. Le résultat principal concerne la définition d'un modèle incrémentai permettant de capturer le comportement du RdP étudié. Ce modèle permet la formulation de propriétés dites positives dont l'expressivité s'étend aux problématiques d'accessibilité et de sûreté. Nous le traduisons ensuite en un problème d'optimisation combinatoire, et proposons plusieurs modèles opérationnels et techniques complémentaires permettant d'améliorer les performances pratiques de résolution. Dans le cadre de l'étude des RdPs bornés, nous contribuons également à la défmition formelle des paramètres de profondeur séquentielle et intrinsèque, qui permettent de garantir les propriétés de décidabilité de nos algoritlnnes. Pour la synthèse, nous développons une abstraction de la structure des RdPs. Nous utilisons cette abstraction pour présenter une approche de conception incrémentale originale fondée sur la notion d'exigences de fonctionnement. Cette démarche exploratoire consiste à intégrer dans une même méthodologie des techniques de spécification formelle et de vérification. Les exigences sont traduites en termes de contraintes sur les éléments d'une structure appelée RdP1 partieL Des outils de résolution de contraintes permettent ensuite de générer les réseaux satisfaisant les exigences de départ.LILLE1-BU (590092102) / SudocVILLENEUVE D'ASCQ-ECLI (590092307) / SudocCACHAN-ENS (940162301) / SudocSudocFranceF