Exécution répartie et temps-réel de réseaux de Petri

Overview & Synopsis

L'émergence de systèmes distribués, réactifs à l'environnement et de plus en plus complexes pose de nom- breuses problématiques scientifiques. En particulier, malgré les progrès faits pour limiter les erreurs lors de leur conception, la présence de fautes résiduelles est quasiment inévitable du fait de la complexité croissante des systèmes considérés. Il devient nécessaire d'introduire des mécanismes pour gérer les fautes potentielles lors de l'exécution ; on parle alors de supervision. Cet article introduit une approche permettant une supervision distribuée et efficace d'une propriété exprimée sous la forme d'un réseau de Petri.