Graphes de régulation avec marquages : vers un modèle formel ...

Finally, these theoretical results are applied to industrial processes: a steam boilers net simulator and a mass spectrometer. Keywords: Petri Nets, diagnostic, ...