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 metadatas

Cited literature [53 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01747434
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 10:59:52 AM
Last modification on : Thursday, April 12, 2018 - 1:57:46 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

64

Files downloads

44