Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Contribution à la sûreté de fonctionnement des processus industriels par les réseaux de Pétri
| Auteur / Autrice : | Abdellatif Bourjij |
| Direction : | Mohamed Darouach |
| Type : | Thèse de doctorat |
| Discipline(s) : | Automatique |
| Date : | Soutenance en 1994 |
| Etablissement(s) : | Nancy 1 |
| Partenaire(s) de recherche : | autre partenaire : Université Henri Poincaré Nancy 1. Faculté des sciences et techniques |
Mots clés
Mots clés contrôlés
Résumé
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.