Skip to Main content Skip to Navigation
Theses

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

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.
Document type :
Theses
Complete list of metadata

Cited literature [53 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01747434
Contributor : Thèses Ul Connect in order to contact the contributor
Submitted on : Thursday, March 29, 2018 - 10:59:52 AM
Last modification on : Saturday, October 16, 2021 - 11:14:14 AM
Long-term archiving on: : Friday, September 14, 2018 - 12:33:18 AM

File

SCD_T_1994_0381_BOURJIJ.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01747434, version 1

Collections

Citation

Abdellatif Bourjij. Contribution à la sûreté de fonctionnement des processus industriels par les réseaux de Pétri. Autre. Université Henri Poincaré - Nancy 1, 1994. Français. ⟨NNT : 1994NAN10381⟩. ⟨tel-01747434⟩

Share

Metrics

Record views

93

Files downloads

76