Contribution à la sûreté de fonctionnement des processus industriels par les réseaux de Pétri - Université de Lorraine Access content directly
Theses Year : 1994

Contribution à la sûreté de fonctionnement des processus industriels par les réseaux de Pétri

Abdellatif Bourjij
  • Function : Author
  • PersonId : 787372
  • IdRef : 076394859

Abstract

The aim of this work is the safety working of industrial processes. The proposed approach consists in modelling the process through Petri Nets. The model validation, i.e. verifying if the model has the required specifications, is achieved by using linear algebra tools, especially by invariants computation. In fact, we suggest an efficient algorithm, which is particularly adapted to large scale systems, for the invariants computations. Then two diagnosis methods are presented: the first one is based on reference model and the second on the use of invariants. Finally, these theoretical results are applied to industrial processes: a steam boilers net simulator and a mass spectrometer.
Dans ce mémoire, nous nous sommes intéressés à la sûreté de fonctionnement des processus industriels. L'approche préconisée consiste à modéliser le système par les réseaux de Pétri. L'algèbre linéaire, notamment le calcul des invariants, est utilisée pour vérifier qu'un modèle a les propriétés requises (vivant, borne) et répond au cahier des charges. Aussi, nous proposons un algorithme efficient de calcul des invariants, particulièrement adapté aux systèmes de grande dimension. Puis deux méthodes de diagnostic basées, pour la première sur un modèle de référence (RDP), pour la seconde sur l'utilisation des invariants, sont présentées. Enfin, ces développements théoriques sont appliques à deux processus industriels: un réseau de générateurs de vapeur simulé et un quantomètre à émission optique.
Fichier principal
Vignette du fichier
SCD_T_1994_0381_BOURJIJ.pdf (18.7 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

tel-01747434 , version 1 (29-03-2018)

Identifiers

  • HAL Id : tel-01747434 , version 1

Cite

Abdellatif Bourjij. Contribution à la sûreté de fonctionnement des processus industriels par les réseaux de Pétri. Sciences de l'ingénieur [physics]. Université Henri Poincaré - Nancy 1, 1994. Français. ⟨NNT : 1994NAN10381⟩. ⟨tel-01747434⟩
87 View
26 Download

Share

Gmail Facebook X LinkedIn More