Symbolic Unfoldings of High-Level Petri Nets and Application to Supervision of Distributed Systems

par Thomas Chatain

Thèse de doctorat en Informatique

Sous la direction de Claude Jard.

Soutenue en 2006

à Rennes 1 .

mots clés

• Petri, Réseaux de
• Systèmes à paramètres répartis
• Estimation de paramètres
• Traces, Théorie des
• Temps réel (informatique)

Titre traduit

= Dépliages symboliques de réseaux de Petri de haut niveau et application à la supervision des systèmes répartis

Résumé

Many components of distributed systems are now designed so that they emit alarms when some particular conditions are met. Nevertheless inferring the causes of the failures remains a challenging problem which sometimes requires to reconstruct a part of the history of the system. We propose to compute the explanations of an observation, according to a model of the net. For this we use the notion of unfoldings of Petri nets. Unfoldings provide an efficient way to represent the executions and to emphasize the causality and concurrency relations between the events. This allows to find easily the causes of the failures. But in order to model real systems, high-level extensions of Petri nets are often required. We define symbolic unfoldings of colored Petri nets, dynamic nets and time Petri nets. In symbolic unfoldings the histories are grouped into families of parameterized executions.

Résumé

De nombreux composants des systèmes répartis sont maintenant conçus pour émettre des alarmes lorsque certaines situations prédéfinies sont détectées. Malgré cela, inférer les causes des pannes à partir des alarmes reste un problème difficile, qui nécessite parfois de reconstituer une partie de l'histoire du système. Nous calculons les explications d'une observation en nous appuyant sur un modèle du système et sur la notion de dépliages de réseaux de Petri. Les dépliages fournissent une représentation efficace des exécutions en mettant en valeur les relations de causalité et de concurrence entre les événements. Ceci permet de remonter facilement aux causes des pannes. Mais pour modéliser de vrais systèmes, il est souvent indispensable d'utiliser des extensions de haut niveau des réseaux de Petri. Nous définissons des dépliages symboliques pour les réseaux de Petri colorés, les réseaux dynamiques et les réseaux de Petri temporels, en identifiant des familles d'exécutions paramétrées.