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

L'emergence de systemes distribues, reactifs a l'environnement et de plus en plus complexes pose de nom- breuses problematiques scientifiques. En particulier, malgre les progres faits pour limiter les erreurs lors de leur conception, la presence de fautes residuelles est quasiment inevitable du fait de la complexite croissante des systemes consideres. Il devient necessaire d'introduire des mecanismes pour gerer les fautes potentielles lors de l'execution ; on parle alors de supervision. Cet article introduit une approche permettant une supervision distribuee et efficace d'une propriete exprimee sous la forme d'un reseau de Petri.